laarcnew | comments | discord | tags | ask | show | place | submit | /l/pltlogin
1.
On the Expressive Power of Programming Languages by Shriram Krishnamurthi (youtube.com)
by rain1 to video talk plt programming.languages programming 625 days ago | discuss
2.
Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk)
by rain1 to papers research programming plt 626 days ago | discuss
3.
Syntax of Oil Shell regexes (github.com)
by rain1 to programming plt design 628 days ago | discuss
4.
Tar-pit thinking (trevorjim.com)
9 points by rain1 to plt proglangdesign programming 860 days ago | 2 comments
5.
Xah Lee - Why I Hate Exceptions (2014) (xahlee.info)
2 points by rain1 to programming plt 711 days ago | discuss
6.
Picat - A simple and powerful, logic-based multi-paradigm language (picat-lang.org)
6 points by graygnome to plt programming 865 days ago | discuss
7.
Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
5 points by rain1 to forth programming plt 842 days ago | discuss
8.
PL Reading Group - Week 4: Definitional Interpreters
5 points by rain1 to ask plt programming reading compsci 845 days ago | discuss
9.
The Monadic Morass (trevorjim.com)
5 points by yumaikas to news plt 859 days ago | discuss
10.
Compiling with Dependent Types (williamjbowman.com)
4 points by nickpsecurity to pdf compilers plt 841 days ago | discuss

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: