| 1. | | Language-oriented Programming in Racket (serverracket.com) |
| 2 points by xojoc to plt book lisp 8 days ago | discuss |
|
| 2. | | Tar-pit thinking (trevorjim.com) |
| 9 points by rain1 to plt proglangdesign programming on Feb 3, 2019 | 2 comments |
|
| 3. | | Picat - A simple and powerful, logic-based multi-paradigm language (picat-lang.org) |
| 6 points by graygnome to plt programming on Jan 29, 2019 | discuss |
|
| 4. | | Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com) |
| 5 points by rain1 to forth programming plt on Feb 21, 2019 | discuss |
|
| 5. | | PL Reading Group - Week 4: Definitional Interpreters |
| 5 points by rain1 to ask plt programming reading compsci on Feb 18, 2019 | discuss |
|
| 6. | | The Monadic Morass (trevorjim.com) |
| 5 points by yumaikas to news plt on Feb 4, 2019 | discuss |
|
| 7. | | Compiling with Dependent Types (williamjbowman.com) |
| 4 points by nickpsecurity to pdf compilers plt on Feb 22, 2019 | discuss |
|
| 8. | | End-user programming (inkandswitch.com) |
| 3 points by enkiv2 to plt on March 26, 2019 | 7 comments |
|
| 9. | | Reddit PL Reading Group - Abstract Interpretation (reddit.com) |
| 3 points by rain1 to plt programming reading on March 20, 2019 | discuss |
|
| 10. | | Checked C - Microsoft Research (microsoft.com) |
| 3 points by rain1 to formal.verification c plt programming safety on March 18, 2019 | discuss |
|
| 11. | | GNU Mes Reduced Binary Seed bootstrap for GNU Guix [video] (youtube.com) |
| 3 points by rain1 to talk video bootstrapping compilers plt on Feb 26, 2019 | discuss |
|
| 12. | | Let's #TalkConcurrency with Sir Tony Hoare, Joe Armstrong, Carl Hewitt [video] (youtube.com) |
| 3 points by rain1 to concurrency plt programming talk video on Feb 20, 2019 | discuss |
|
| 13. | | Retro Forth: The Path to Self Hosting (reddit.com) |
| 3 points by rain1 to forth bootstrapping plt programming on Jan 30, 2019 | discuss |
|
| 14. | | Agent-Oriented Programming (1993) [pdf] (huji.ac.il) |
| 3 points by enkiv2 to historical agents plt on Jan 30, 2019 | 7 comments |
|
| 15. | | Kaukatcr: an experiment in language design for multi-dimensional spaces (hackernoon.com) |
| 3 points by enkiv2 to plt on Jan 28, 2019 | 2 comments |
|
| 16. | | Programming paradigms every programmer should know (acolyer.org) |
| 3 points by rain1 to plt programming compsci on Jan 25, 2019 | discuss |
|
| 17. | | Xah Lee - Why I Hate Exceptions (2014) (xahlee.info) |
| 2 points by rain1 to programming plt on July 2, 2019 | discuss |
|
| 18. | | Building fast interpreters in Rust (cloudflare.com) |
| 2 points by rain1 to rust plt optimization compilers on April 21, 2019 | discuss |
|
| 19. | | A grammar for HTML5 (trevorjim.com) |
| 2 points by rain1 to html web plt programming on April 12, 2019 | discuss |
|
| 20. | | Crawling out of the turing tarpit (rolfwr.net) |
| 2 points by rain1 to bootstrapping compilers plt on April 5, 2019 | discuss |
|
| 21. | | Falcon: A Graph Manipulation Language for Heterogenous Systems (iisc.ernet.in) |
| 2 points by nickpsecurity to parallel c plt graphs pdf slides on March 21, 2019 | 1 comment |
|
| 22. | | (2004) Revisiting Coroutines - Ana Lucia de Moura, Roberto Ierusalimschy [pdf] (inf.puc-rio.br) |
| 2 points by rain1 to cs plt coroutines on Feb 9, 2019 | 1 comment |
|
| 23. | | Session types for Rust (2015) (munksgaard.me) |
| 2 points by rain1 to paper programming plt theory on Jan 29, 2019 | discuss |
|
| 24. | | Composability, homogeneity, and language-based systems (medium.com) |
| 2 points by enkiv2 to plt on Jan 28, 2019 | discuss |
|
| 25. | | Mycroft — A Predicate Logic Language — Overview / Post-mortem (hackernoon.com) |
| 2 points by enkiv2 to plt on Jan 28, 2019 | discuss |
|
| 26. | | Alexis King — Languages in an Afternoon (youtube.com) |
| 2 points by rain1 to plt programming lisp on Jan 24, 2019 | discuss |
|
| 27. | | Effects-bibliography: theory and practice of computational effects (github.com) |
| 2 points by rain1 to programming plt on Jan 23, 2019 | discuss |
|
| 28. | | On the Expressive Power of Programming Languages by Shriram Krishnamurthi (youtube.com) |
| by rain1 to video talk plt programming.languages programming on Sept 26, 2019 | discuss |
|
| 29. | | Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk) |
| by rain1 to papers research programming plt on Sept 25, 2019 | discuss |
|
| 30. | | Syntax of Oil Shell regexes (github.com) |
| by rain1 to programming plt design on Sept 23, 2019 | discuss |
|
|
| 9 more... |
