vkz / PLAI
my solutions to problems in Programming Languages: Application and Interpretation class by Shriram Krishnamurthi
☆8Updated 8 years ago
Alternatives and similar repositories for PLAI:
Users that are interested in PLAI are comparing it to the libraries listed below
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 12 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Updated 8 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Notes on higher-order typed compilation. Probably wrong☆23Updated 2 years ago
- SIGPLAN website☆10Updated this week
- programming languages invented/implemented by myself.☆8Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆29Updated 9 years ago
- Compile-time metaprogramming for OCaml☆71Updated 5 months ago
- ☆10Updated 6 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 7 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- PLT Redex models of LVar calculi☆10Updated 9 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Slog 1.0☆34Updated 7 months ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago
- Bytecode compiler of a variant of Caml☆32Updated 9 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆17Updated 5 months ago
- Educational Proof Assistant for Type Theory☆73Updated 5 months ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆21Updated 14 years ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆53Updated 4 years ago
- ☆12Updated 2 months ago