nrnrnr / build-prove-compare-student-codeLinks
Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
☆27Updated 2 years ago
Alternatives and similar repositories for build-prove-compare-student-code
Users that are interested in build-prove-compare-student-code are comparing it to the libraries listed below
Sorting:
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- A custom parser/auto-formatter for Standard ML☆79Updated 2 months ago
- ☆87Updated 4 years ago
- Parallel ML compiler☆73Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- A collection of programming languages and type systems.☆33Updated 2 months ago
- ☆137Updated 3 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆58Updated 2 months ago
- Course web page for Fall 2021.☆21Updated 3 years ago
- SML reference interpreter☆116Updated last week
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆57Updated 2 years ago
- The Mechanization of Standard ML☆73Updated 3 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆135Updated last month
- Course on Metaprogramming☆72Updated last month
- Robust multi-prompt delimited control and effect handlers in C/C++☆122Updated last year
- ☆79Updated 6 years ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆41Updated last week
- Standard ML of New Jersey☆216Updated last week
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- ☆41Updated last month
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆158Updated 5 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆156Updated last year
- The Twelf Programming Language☆140Updated 5 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago