ucsd-progsys / 131-web
Public course materials for CSE 131 (Compilers)
☆18Updated 4 years ago
Alternatives and similar repositories for 131-web:
Users that are interested in 131-web are comparing it to the libraries listed below
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Example row-polymorphism implementations☆61Updated last year
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 5 years ago
- A verified compiler for a lazy functional language☆32Updated this week
- LL(1) parser generator verified in Coq☆45Updated 4 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆27Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 8 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆81Updated 3 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆30Updated last year
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- An interactive interpreter for asynchronous algebraic effects☆14Updated 6 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- A general purpose programming language with linear types☆44Updated 7 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- The Evolution of a Typechecker☆54Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- Experimental functional language☆18Updated 2 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Session types in Idris2!☆27Updated 4 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆100Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated this week
- A dependent type theory with user defined data types☆45Updated 3 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated 2 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆19Updated 2 years ago
- IO using sized types and copatterns☆33Updated 3 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆16Updated 4 years ago