w7cook / AoPL
A book on programming languages, using Haskell
☆164Updated 4 years ago
Alternatives and similar repositories for AoPL:
Users that are interested in AoPL are comparing it to the libraries listed below
- a library for parallel programming☆94Updated 2 weeks ago
- gallery of themes for hakyll static site generator☆85Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆85Updated 8 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆79Updated 3 years ago
- Haskell Language Report☆92Updated 4 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- A library for formalizing Haskell types and functions in Coq☆168Updated last year
- Dependently Typed Lambda Calculus in Haskell☆114Updated 4 years ago
- ☆84Updated 7 years ago
- Tutorial for LiquidHaskell☆76Updated 6 months ago
- A collection of resources for learning type theory.☆101Updated 8 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- Porting of software foundations book to Agda☆38Updated 11 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆101Updated last year
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- A Functional Graph Library for Haskell☆188Updated 6 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Updated 2 years ago
- Dive into GHC☆82Updated 8 years ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 6 years ago
- Number theory: primes, arithmetic functions, modular computations, special sequences☆152Updated last month
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Updated 6 years ago
- Summer school on programming in Agda☆68Updated last year