irpap / Write-yourself-a-Scheme-in-48-hoursLinks
A Scheme interpreter in Haskell
☆9Updated 11 years ago
Alternatives and similar repositories for Write-yourself-a-Scheme-in-48-hours
Users that are interested in Write-yourself-a-Scheme-in-48-hours are comparing it to the libraries listed below
Sorting:
- MLpolyR☆7Updated 9 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- My PhD Thesis☆14Updated 3 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Updated 10 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆12Updated 4 years ago
- A very little language☆16Updated 2 years ago
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- Web site for standardml.org.☆36Updated last year
- The compiler for subset of scheme developed as part of P523☆30Updated 8 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Updated 3 months ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 5 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆26Updated 2 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 5 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 11 months ago
- Course on Metaprogramming☆71Updated 2 weeks ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- Lexer and parser generators for Standard ML, OCaml, and Haskell.☆37Updated 2 years ago
- Formalizations of Gradually Typed Languages in Agda☆57Updated 5 months ago
- The Iowa Agda Library☆48Updated last month
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 months ago
- Public course materials for CSE 230 (Winter 2019)☆28Updated 3 years ago