/l/plt | laarc

laarc

1.		On the Expressive Power of Programming Languages by Shriram Krishnamurthi (youtube.com)
		by rain1 to video talk plt programming.languages programming 431 days ago \| discuss
2.		Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk)
		by rain1 to papers research programming plt 432 days ago \| discuss
3.		Syntax of Oil Shell regexes (github.com)
		by rain1 to programming plt design 434 days ago \| discuss
4.		Tar-pit thinking (trevorjim.com)
		9 points by rain1 to plt proglangdesign programming 666 days ago \| 2 comments
5.		Xah Lee - Why I Hate Exceptions (2014) (xahlee.info)
		2 points by rain1 to programming plt 517 days ago \| discuss
6.		Picat - A simple and powerful, logic-based multi-paradigm language (picat-lang.org)
		6 points by graygnome to plt programming 671 days ago \| discuss
7.		Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
		5 points by rain1 to forth programming plt 648 days ago \| discuss
8.		PL Reading Group - Week 4: Definitional Interpreters
		5 points by rain1 to ask plt programming reading compsci 651 days ago \| discuss
9.		The Monadic Morass (trevorjim.com)
		5 points by yumaikas to news plt 665 days ago \| discuss
10.		Compiling with Dependent Types (williamjbowman.com)
		4 points by nickpsecurity to pdf compilers plt 647 days ago \| discuss
11.		End-user programming (inkandswitch.com)
		3 points by enkiv2 to plt 615 days ago \| 7 comments
12.		Antoyo/tiger-rs: Modern Compiler Implementation in ML in Rust (github.com)
		by rain1 to compilers plt 507 days ago \| discuss
13.		Reddit PL Reading Group - Abstract Interpretation (reddit.com)
		3 points by rain1 to plt programming reading 621 days ago \| discuss
14.		Checked C - Microsoft Research (microsoft.com)
		3 points by rain1 to formal.verification c plt programming safety 623 days ago \| discuss