klauso / PLT2011Links
Material for the course on Programming Languages and Types at University of Marburg
☆15Updated 14 years ago
Alternatives and similar repositories for PLT2011
Users that are interested in PLT2011 are comparing it to the libraries listed below
Sorting:
- Formalization of the Dependent Object Types (DOT) calculus☆66Updated 3 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 7 years ago
- Link to preprints for ICFP'16 and co-located events☆139Updated 9 years ago
- Dependent Object Types (DOT), bottom up☆89Updated 4 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 3 years ago
- A Haskell parser for JVM bytecode files☆39Updated 2 years ago
- GAPT: General Architecture for Proof Theory☆108Updated 2 months ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- Dive into GHC☆82Updated 9 years ago
- Dependently Typed Lambda Calculus in Haskell☆116Updated 4 years ago
- Solver for higher-order functional programs, used by Stainless☆93Updated 3 weeks ago
- Slides and exercises for the Idris course taught at Galois☆51Updated 10 years ago
- formalization of the Dependent Object Types (DOT) calculus☆161Updated 9 years ago
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- (Abstract) Abstract Machine Experiments using Scala☆36Updated 5 years ago
- An editor for interactively building natural deduction proofs☆20Updated 7 years ago
- JVM Abstracting Abstract Machine☆25Updated 7 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- handouts and notes from the 2017 edition of the summer school☆39Updated 8 years ago
- A talk on parametricity☆36Updated 2 years ago
- ICFP 2020 papers. Crowd-sourced☆90Updated 5 years ago
- Isomorphic Reasoning: Counting with Types☆38Updated 5 years ago
- YUP is a proof checker that performs automatic checking of simple program-correctness proofs of functional programs through inductive and…☆36Updated 2 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆123Updated 4 years ago
- Advent of Code 2017☆40Updated 7 years ago
- Code for the "Logic, machines and sequent calculus" talk☆31Updated 3 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 4 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago