kmicinski / cmsc330examples
Examples from the class CMSC 330 during Summer 2015
☆48Updated 9 years ago
Alternatives and similar repositories for cmsc330examples:
Users that are interested in cmsc330examples are comparing it to the libraries listed below
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- Example row-polymorphism implementations☆61Updated last year
- The Mechanization of Standard ML☆72Updated 2 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- MetaML and MetaOCaml bibliography☆86Updated last month
- Notes and handouts from OPLSS 2018☆53Updated 6 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- ☆29Updated 9 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆100Updated last year
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago
- LL(1) parser generator verified in Coq☆45Updated 4 years ago
- Inline, type safe X86-64 assembly programming in Agda☆67Updated 6 years ago
- A prototypical dependently typed languages with sized types and variances☆104Updated 2 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- A general purpose programming language with linear types☆44Updated 7 years ago
- A bare-bones LCF-style proof assistant☆21Updated 5 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆59Updated 3 years ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago