lkuper / lvar-semanticsLinks
PLT Redex models of LVar calculi
☆10Updated 10 years ago
Alternatives and similar repositories for lvar-semantics
Users that are interested in lvar-semantics are comparing it to the libraries listed below
Sorting:
- The LVish Haskell library☆80Updated 2 years ago
- ☆29Updated 9 years ago
- The language of the future!☆72Updated last year
- ☆60Updated 6 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- Higher-order FRP compiler☆15Updated 3 years ago
- Supporting tool for Gradual Typing☆16Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- Luck -- A Language for Property-Based Generators☆35Updated 5 months ago
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- A clean implementation of Parsing with Zippers.☆38Updated 6 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year