Link to preprints for ICFP'16 and co-located events
☆139Oct 31, 2016Updated 10 years ago
Alternatives and similar repositories for icfp2016-papers
Users that are interested in icfp2016-papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Accepted papers for POPL 2015☆66May 23, 2016Updated 10 years ago
- Link to preprints for POPL'17 and co-located events☆100Mar 15, 2017Updated 9 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆73Jul 24, 2016Updated 10 years ago
- Links to publicly available preprints for the POPL'16 conference☆121Nov 1, 2016Updated 10 years ago
- Link to preprints for ICFP'17 and colocated events☆136Jun 19, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Accepted papers for ICFP 2015☆46Mar 4, 2016Updated 10 years ago
- ☆72Feb 12, 2014Updated 12 years ago
- Canopy blog data that powers ICFP liveblog☆16Nov 2, 2016Updated 10 years ago
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 10 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Accepted papers for ICFP 2014☆118May 19, 2016Updated 10 years ago
- Link to preprints for POPL'18 and colocated events☆85Jun 16, 2018Updated 8 years ago
- An unofficial list of papers accepted to POPL 2013.☆19Jan 13, 2018Updated 8 years ago
- Coq formalizations of functional languages.☆146Jul 2, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 11 years ago
- Experimental Malfunction backend for Idris☆80Jun 20, 2018Updated 8 years ago
- ☆100Mar 17, 2026Updated 7 months ago
- Mindless, verified (erasably) coding using dependent types☆104Dec 17, 2015Updated 10 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆40May 1, 2018Updated 8 years ago
- A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS☆109Jun 2, 2017Updated 9 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 8 years ago
- Another implementation of Frank.☆71Jul 14, 2017Updated 9 years ago
- Source code accompanying the paper "Leveling Up Dependent Types"☆18Jul 23, 2013Updated 13 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆236Oct 12, 2026Updated 3 weeks ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Feb 4, 2019Updated 7 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 10 years ago
- A library to write emacs plugins in OCaml☆22May 20, 2016Updated 10 years ago
- being a slightly rethought version of the Frank implementation☆23Feb 9, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A port of QuickCheck to Idris☆61Oct 30, 2017Updated 9 years ago
- ☆85May 10, 2024Updated 2 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆25Jan 14, 2019Updated 7 years ago
- ☆17Jul 23, 2022Updated 4 years ago
- Test your Haskell code by exhaustively checking its properties☆136Aug 1, 2026Updated 3 months ago
- Moved to aliceml/aliceml☆29May 28, 2014Updated 12 years ago
- Networks of composable stream transducers☆340Mar 3, 2025Updated last year