yallop / icfp2014-papersView external linksLinks
Accepted papers for ICFP 2014
☆119May 19, 2016Updated 9 years ago
Alternatives and similar repositories for icfp2014-papers
Users that are interested in icfp2014-papers are comparing it to the libraries listed below
Sorting:
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- Accepted papers for ICFP 2015☆45Mar 4, 2016Updated 9 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 9 years ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- An higher-level LLVM binding for OCaml☆14Apr 4, 2017Updated 8 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 9 years ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- A small bifunctor library for idris☆21Dec 28, 2020Updated 5 years ago
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 9 years ago
- A small implementation of a proof refinement logic.☆50Jul 3, 2017Updated 8 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 8 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 10 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Apr 1, 2023Updated 2 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆25Mar 7, 2016Updated 9 years ago
- Slides and exercises for the Idris course taught at Galois☆51Oct 7, 2015Updated 10 years ago
- A collection of Notes on GHC☆71Apr 14, 2019Updated 6 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 8 years ago
- Total functional programming (ESFP) literature☆187Feb 15, 2019Updated 7 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆52Jan 12, 2023Updated 3 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- fast unique variables☆10Aug 23, 2025Updated 5 months ago
- ☆12Oct 3, 2020Updated 5 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- A playground for working on advanced data structures in Haskell☆64Aug 31, 2015Updated 10 years ago
- ☆12May 9, 2015Updated 10 years ago
- Erlang source code parser written in Rust☆10Oct 15, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- The official supporting materials repository for LambdaConf 2015.☆90May 29, 2015Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Jun 2, 2015Updated 10 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 7 years ago