Hacker News
- Featherweight Java: A Minimal Core Calculus for Java and GJ (2002) [pdf] https://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf 4 comments
- Unison File Synchronizer https://www.cis.upenn.edu/~bcpierce/unison/ 100 comments
- Great Works in Programming Languages (2004) http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml 37 comments
- Software Foundations. Benjamin C. Pierce et al. http://www.cis.upenn.edu/~bcpierce/sf/index.html 4 comments
Lobsters
- The Weird World of Bi-Directional Programming http://www.cis.upenn.edu/~bcpierce/papers/lenses-etapsslides.pdf 3 comments compsci , pdf
- Algebra, Topology, Differential Calculus, and Optimization Theory for Computer Science and Machine Learning https://www.cis.upenn.edu/~jean/math-deep.pdf 25 comments computerscience
- Embedding System F Omega with GADTS https://www.cis.upenn.edu/~plclub/blog/2020-06-26-Strongly-typed-System-F/ 7 comments haskell
- Defunctionalize the Continuation https://www.cis.upenn.edu/~plclub/blog/2020-05-15-defunctionalize-the-continuation/ 23 comments haskell
- Algebra, Topology, Differential Calculus, and Optimization Theory for Computer Science and Machine Learning https://www.cis.upenn.edu/~jean/math-deep.pdf 21 comments math
- Just starting out, idiomatic haskell question http://www.cis.upenn.edu/~cis194/spring13/ 9 comments haskell
- The Linearity Monad (pdf) https://www.cis.upenn.edu/~jpaykin/papers/pz_linearity_monad_2017.pdf 6 comments haskell
- Software Foundations: Certified Programming in Coq https://www.cis.upenn.edu/~bcpierce/sf/current/index.html 13 comments compsci
- Software Foundations (Free ebook on basic concepts of logic, computer-assisted theorem proving, the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems) https://www.cis.upenn.edu/~bcpierce/sf/current/index.html 8 comments programming
- Unison - An Open Source Dropbox Synchronization Alternative http://www.cis.upenn.edu/~bcpierce/unison/ 4 comments raspberry_pi
- [Books] Differential Geometry, Lie Groups, and Computational Topology http://www.cis.upenn.edu/~jean/gbooks/manif.html 26 comments math
- Historical notes on Hindley-Milner typing algorithm http://www.cis.upenn.edu/~bcpierce/types/archives/1988/msg00042.html 4 comments compsci
- Vellvm: Verified LLVM http://www.cis.upenn.edu/~stevez/vellvm/ 13 comments programming
- CIS 194: Introduction to Haskell (Spring 2013) http://www.cis.upenn.edu/~cis194/ 3 comments haskell
- Types and Programming Languages The Next Generation, Benjamin C. Pierce, 2003 http://www.cis.upenn.edu/~bcpierce/papers/tng-lics2003-slides.pdf 7 comments compsci
- Down with kinds: adding dependent heterogeneous equality to to FC http://www.cis.upenn.edu/~eir/papers/2013/jmnokinds/jmnokinds.pdf 14 comments haskell
- Vellum, a verified model for LLVM http://www.cis.upenn.edu/~jianzhou/vellvm/ 11 comments programming
- A course on Software Foundations — the mathematical theory of programming and programming languages — by Benjamin Pierce http://www.cis.upenn.edu/~bcpierce/sf 102 comments programming
- Concise Guide to Erlang (or a really big Cheat sheet), D Matuszek http://www.cis.upenn.edu/~matuszek/general/conciseguides/concise-erlang.html 3 comments erlang
- The Haskell Alphabet http://www.cis.upenn.edu/~byorgey/haskell-alphabet/ 10 comments haskell
- Lambda, The Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations [PDF] http://www.cis.upenn.edu/~bcpierce/papers/lambdata.pdf 8 comments programming
- Basics of Algebra and Analysis for Computer Science http://www.cis.upenn.edu/~jean/gbooks/geomath.html 5 comments programming
- Unison File Synchronizer http://www.cis.upenn.edu/~bcpierce/unison/index.html 4 comments programming
Lambda the Ultimate
- Programmable Concurrency in a Pure and Lazy Language http://www.cis.upenn.edu/~lipeng/homepage/papers/dissertation.pdf 11 comments Functional , Implementation , Parallel/Distributed
- Engineering Formal Metatheory http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf 3 comments Theory
- The POPLmark Challenge http://www.cis.upenn.edu/group/proj/plclub/mmm/ 1 comment Theory
- Advanced Topics in Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/attapl/ 8 comments LtU Forum
- The Xtatic experience http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-TR.pdf 0 comments XML
- Type-Based Optimization for Regular Patterns http://www.cis.upenn.edu/~bcpierce/papers/typebasedoptimization-short.pdf 0 comments XML
- A Language for Bi-Directional Tree Transformations http://www.cis.upenn.edu/%7Ebcpierce/papers/lenses.pdf 0 comments DSL
- The point of (any) semantics http://www.cis.upenn.edu/~bcpierce/types/archives/current/msg01178.html 3 comments theory
- Types and Programming Languages http://www.cis.upenn.edu/~bcpierce/tapl/ 2 comments theory
- Formal semantics for C http://www.cis.upenn.edu/~bcpierce/types/archives/current/msg00861.html 2 comments theory
- Java is not type-safe http://www.cis.upenn.edu/~bcpierce/courses/629/papers/Saraswat-javabug.html 0 comments theory
- Type safety http://www.cis.upenn.edu/~bcpierce/types/archives/current/msg00271.html 0 comments theory
- The TYPES Fourm http://www.cis.upenn.edu/~bcpierce/types/ 0 comments