Hacker News
- The Typed Racket Optimizer vs. Transient http://prl.ccs.neu.edu/blog/2020/01/15/the-typed-racket-optimizer-vs-transient/ 11 comments
- Monotonicity Types: Towards a Type System for Eventual Consistency http://prl.ccs.neu.edu/blog/2017/10/22/monotonicity-types-towards-a-type-system-for-eventual-consistency/ 8 comments
- Measuring GC latencies in Haskell, OCaml, Racket http://prl.ccs.neu.edu/blog/2016/05/24/measuring-gc-latencies-in-haskell-ocaml-racket 57 comments
- Tutorial: Zero to Sixty in Racket http://prl.ccs.neu.edu/blog/2016/08/02/tutorial-zero-to-sixty-in-racket/ 10 comments
Lobsters
- Lexical and Dynamic Scope http://prl.ccs.neu.edu/blog/2019/09/05/lexical-and-dynamic-scope/ 3 comments plt
- Introducing Visual and Interactive-Syntax realized (VISr) for ClojureScript (and JavaScript) http://prl.ccs.neu.edu/blog/2022/01/06/introducing-visual-and-interactive-syntax-realized-visr-for-clojurescript-and-javascript/ 2 comments plt
- Top Five Results of the Past 50 Years of Programming Languages Research http://prl.ccs.neu.edu/blog/2017/04/04/top-five-results-of-the-past-50-years-of-programming-languages-research/ 9 comments compsci
- A few cores too many http://prl.ccs.neu.edu/blog/2016/08/03/a-few-cores-too-many/ 3 comments programming
- Closure Conversion as CoYoneda http://prl.ccs.neu.edu/blog/2017/08/28/closure-conversion-as-coyoneda/ 13 comments haskell
- Syntactic parametricity strikes again http://prl.ccs.neu.edu/blog/2017/06/05/syntactic-parametricity-strikes-again/ 7 comments haskell
- Rank polymorphism for array languages http://prl.ccs.neu.edu/blog/2017/05/04/rank-polymorphism/ 15 comments compsci
- Top Five Results of the Past 50 Years of Programming Languages Research http://prl.ccs.neu.edu/blog/2017/04/04/top-five-results-of-the-past-50-years-of-programming-languages-research/ 10 comments haskell
- Type Inference in Stack-Based Programming Languages http://prl.ccs.neu.edu/blog/2017/03/10/type-inference-in-stack-based-programming-languages/ 3 comments haskell
- Type Inference in Stack-Based Programming Languages http://prl.ccs.neu.edu/blog/2017/03/10/type-inference-in-stack-based-programming-languages/ 5 comments ocaml
- Bullets are good for your Coq proofs http://prl.ccs.neu.edu/blog/2017/02/21/bullets-are-good-for-your-coq-proofs/ 3 comments coq
- Linear Types for Low-level Languages [some history and bibliography] http://prl.ccs.neu.edu/blog/2017/02/28/linear-types-for-low-level-languages/ 3 comments rust
- Measuring GC latencies in Haskell, OCaml, Racket http://prl.ccs.neu.edu/blog/2016/05/24/measuring-gc-latencies-in-haskell-ocaml-racket/ 3 comments programming
- Tutorial: Zero to Sixty in Racket http://prl.ccs.neu.edu/blog/2016/08/02/tutorial-zero-to-sixty-in-racket/ 8 comments programming
- ICFP 2016: looking for student volunteers http://prl.ccs.neu.edu/blog/2016/06/07/icfp-2016-looking-for-student-volunteers/ 4 comments ocaml
- Measuring GC latencies in Haskell, OCaml, Racket http://prl.ccs.neu.edu/blog/2016/05/24/measuring-gc-latencies-in-haskell-ocaml-racket/ 30 comments haskell