gasche / popl2014-papersView external linksLinks
☆73Feb 12, 2014Updated 12 years ago
Alternatives and similar repositories for popl2014-papers
Users that are interested in popl2014-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
- Links to publicly available preprints for the POPL'16 conference☆120Nov 1, 2016Updated 9 years ago
- Accepted papers for PLDI 2014☆15May 19, 2016Updated 9 years ago
- Accepted papers for POPL 2015☆66May 23, 2016Updated 9 years ago
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 2 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- Link to preprints for ICFP'16 and co-located events☆139Oct 31, 2016Updated 9 years ago
- Accepted papers for ICFP 2014☆119May 19, 2016Updated 9 years ago
- Link to preprints for POPL'17 and co-located events☆100Mar 15, 2017Updated 8 years ago
- being the beginnings of at least zero typecheckers☆34Apr 13, 2017Updated 8 years ago
- Link to preprints for ICFP'17 and colocated events☆136Jun 19, 2018Updated 7 years ago
- ICFP 2019 preprints/papers☆44Jul 31, 2019Updated 6 years ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated 11 months ago
- CS6868: Concurrent Programming☆29Updated this week
- Check data integrity for your ActiveRecord models☆11Jul 19, 2022Updated 3 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Jul 23, 2013Updated 12 years ago
- Advanced Topics in Programming Languages, Penn CIS 670, Fall 2016☆42Oct 25, 2022Updated 3 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 6 months ago
- ZeroMQ transport for distributed-process (aka Cloud Haskell)☆23Jun 7, 2016Updated 9 years ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.☆11Dec 1, 2019Updated 6 years ago
- The capistrano tasks for Jenkins CI Server☆26Jul 15, 2014Updated 11 years ago
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.☆11May 16, 2017Updated 8 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- Generic Little System☆17May 5, 2024Updated last year
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- go编译器编译过程,主要学习go语法分析,AST,SSA 分析。以便更好的理解Go☆12Feb 5, 2022Updated 4 years ago
- 个人学习中总结的 Rust 思维导图☆10Feb 2, 2024Updated 2 years ago
- Write your Reveal.js presentations in Haskell!☆11Sep 12, 2016Updated 9 years ago
- php websocket private chat☆10Mar 29, 2018Updated 7 years ago
- GitHub Pages Personal Website☆10Jan 23, 2025Updated last year
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- JavaScript and TypeScript bindings for the Haiku Operating System☆10Oct 8, 2019Updated 6 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- Sending whispers across the interstellar space!☆11Aug 11, 2019Updated 6 years ago