https://github.com/thaliaarchi/pl-papers

Implementations of various PL papers
https://github.com/thaliaarchi/pl-papers

Last synced: 2 months ago
JSON representation

Implementations of various PL papers

• Host: GitHub
• URL: https://github.com/thaliaarchi/pl-papers
• Owner: thaliaarchi
• License: gpl-3.0
• Created: 2023-01-13T03:58:54.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2023-04-16T05:21:38.000Z (about 2 years ago)
• Last Synced: 2025-01-25T10:08:42.454Z (4 months ago)
• Language: Coq
• Homepage:
• Size: 107 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Programming Language Papers

Implementations of various PL papers for [CS 630 Programming Language System

Models](https://faculty.cs.byu.edu/~kimball/630/) in Coq and Rust.

- [aam](aam): Abstracting abstract machines

  (David Van Horn and Matthew Might 2010)

  [[ACM](https://dl.acm.org/doi/10.1145/1863543.1863553),

  [arXiv](https://arxiv.org/abs/1007.4446)]

- [fnd](fnd): Fixing non-determinism

  (Alexander Vandenbroucke, Tom Schrijvers, and Frank Piessens 2015)

  [[ACM](https://dl.acm.org/doi/10.1145/2897336.2897342),

  [alternate](https://lirias.kuleuven.be/retrieve/383155/)]

- [cti](cti): Collapsing towers of interpreters

  (Nada Amin and Tiark Rompf 2018)

  [[ACM](https://dl.acm.org/doi/10.1145/3158140),

  [code](https://github.com/TiarkRompf/collapsing-towers)]

- [srp](srp): An array-oriented language with static rank polymorphism

  (Justin Slepak, Olin Shivers, and Panagotis Manolios 2014)

  [[ACM](https://dl.acm.org/doi/10.1007/978-3-642-54833-8_3),

  [alternate](https://www.ccs.neu.edu/home/jrslepak/typed-j.pdf)]

- [dml](dml): Dependent types in practical programming

  (Honwei Xi and Frank Pfenning 1999)

  [[ACM](https://dl.acm.org/doi/10.1145/292540.292560)]

- [frp](frp): Higher-order functional reactive programming without spacetime

  leaks ([Neel Krishnaswami](https://www.cl.cam.ac.uk/~nk480/) 2013)

  [[ACM](https://dl.acm.org/doi/10.1145/2544174.2500588),

  [alternate](https://www.cl.cam.ac.uk/~nk480/simple-frp.pdf),

  [tech report with proofs](https://www.cl.cam.ac.uk/~nk480/simple-frp-techreport.pdf),

  [AdjS programming language](https://www.cl.cam.ac.uk/~nk480/adjs-0.1.tgz)]

- [ahp](ahp): How to make *ad-hoc* polymorphism less *ad hoc*

  (Philip Wadler and Stephen Blott 1989)

  [[ACM](https://dl.acm.org/doi/10.1145/75277.75283)]

- [bdt](bdt): Bidirectional typing (Jana Dunfield and Neel Krishnaswami 2020)

  [[ACM](https://dl.acm.org/doi/10.1145/3450952),

  [arXiv](https://arxiv.org/abs/1908.05839)]

- [lt](lt): Linear types can change the world! (Philip Wadler 1990)

  [[ps](https://homepages.inf.ed.ac.uk/wadler/papers/linear/linear.ps)]

- [rae](rae): Type directed compilation of row-typed algebraic effects

  (Dan Leijen 2017)

  [[ACM](https://dl.acm.org/doi/10.1145/3009837.3009872)]

- [rt](rt): Refinement types for ML (Tim Freeman and Frank Pfenning 1991)

  [[ACM](https://dl.acm.org/doi/10.1145/113446.113468)]

- [cg](cg): Combinatory grammar and projection from the lexicon

  (Anna Szabolcsi 1992)

  [[Academia](https://www.academia.edu/24415928/Combinatory_grammar_and_projection_from_the_lexicon_1992)]

- [gts](gts): Gradual typestate

  (Roger Wolff, Ronald Garcia, Éric Tanter, and Jonathan Aldrich 2011)

  [[Springer](https://link.springer.com/chapter/10.1007/978-3-642-22655-7_22)]

  [[alternate](https://www.cs.cmu.edu/~aldrich/papers/aldrich-gradual-ecoop11.pdf)]

- [gt](gt): Galois transformers and modular abstract interpreters

  (David Darais, Matthew Might, David Van Horn, 2015)

  [[ACM](https://dl.acm.org/doi/10.1145/2814270.2814308)]

  [[arXiv](https://arxiv.org/abs/1411.3962)]