ps-tuebingen-courses / pl1-lecture-notes
Programming Languages I Lecture Notes
☆10Updated last week
Alternatives and similar repositories for pl1-lecture-notes:
Users that are interested in pl1-lecture-notes are comparing it to the libraries listed below
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- A prototypical dependently typed languages with sized types and variances☆107Updated 2 years ago
- The Twelf Programming Language☆125Updated 2 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆136Updated 6 years ago
- ☆32Updated 6 months ago
- Unification and type inference algorithms☆125Updated 10 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated last month
- source code for the bondi programming language☆40Updated 6 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆113Updated last week
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated this week
- Material for ICFP 2020 tutorial on functional software architecture☆17Updated 4 years ago
- ☆34Updated last year
- purple: compiling a reflective language☆32Updated 6 months ago
- Type inference from scratch - Material for my talk at F(by)19☆64Updated 5 years ago
- MetaML and MetaOCaml bibliography☆89Updated 4 months ago
- Experiments with sequent calculi☆27Updated 4 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- A summary of my activities during the past four years☆29Updated 6 months ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 4 years ago
- Paper and talk☆53Updated last year
- A toy dependent typed language.☆28Updated this week
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- The Evolution of a Typechecker☆54Updated 6 years ago
- Notes and handouts from OPLSS 2019☆34Updated 5 years ago