Skip to content
master
Go to file
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
src
 
 
 
 
 
 
 
 

README.md

TAPL in Rust

Yet another collection of implementations of TAPL (Types and Programming Languages) written in Rust.

See Resources for Types and Programming Languages for the original implementations written in OCaml.

  • arith.rs

    • Chapter 3: Untyped Arithmetic Expressions
    • Chapter 4: An ML Implementation of Arithmetic Expressions
  • untyped.rs

    • Chapter 5: The Untyped Lambda-Calculas
    • Chapter 6: Nameless Representaion of Terms
    • Chapter 7: An ML Implementation of the Lambda-Calculus
  • simplebool.rs

    • Chapter 8: Typed Arithmetic Expressions
    • Chapter 9: Simply Typed Lambda-Calculus
    • Chapter 10: An ML Implementation of Simple Types
  • fullsub.rs

    • Chapter 17: An ML Implementation of Subtyping
  • fullpoly.rs

    • Chapter 25: An ML Implementation of System F

About

No description, website, or topics provided.

Resources

Releases

No releases published

Packages

No packages published

Languages

You can’t perform that action at this time.