/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 118 days ago \| discuss
2.		Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk)
		by rain1 to papers research programming plt 119 days ago \| discuss
3.		Syntax of Oil Shell regexes (github.com)
		by rain1 to programming plt design 121 days ago \| discuss
4.		Tar-pit thinking (trevorjim.com)
		9 points by rain1 to plt proglangdesign programming 353 days ago \| 2 comments
5.		Xah Lee - Why I Hate Exceptions (2014) (xahlee.info)
		2 points by rain1 to programming plt 204 days ago \| discuss
6.		Picat - A simple and powerful, logic-based multi-paradigm language (picat-lang.org)
		6 points by graygnome to plt programming 358 days ago \| discuss
7.		Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
		5 points by rain1 to forth programming plt 335 days ago \| discuss
8.		PL Reading Group - Week 4: Definitional Interpreters
		5 points by rain1 to ask plt programming reading compsci 338 days ago \| discuss
9.		The Monadic Morass (trevorjim.com)
		5 points by yumaikas to news plt 352 days ago \| discuss
10.		Compiling with Dependent Types (williamjbowman.com)
		4 points by nickpsecurity to pdf compilers plt 334 days ago \| discuss
11.		End-user programming (inkandswitch.com)
		3 points by enkiv2 to plt 302 days ago \| 7 comments
12.		Antoyo/tiger-rs: Modern Compiler Implementation in ML in Rust (github.com)
		by rain1 to compilers plt 194 days ago \| discuss
13.		Reddit PL Reading Group - Abstract Interpretation (reddit.com)
		3 points by rain1 to plt programming reading 308 days ago \| discuss
14.		Checked C - Microsoft Research (microsoft.com)
		3 points by rain1 to formal.verification c plt programming safety 310 days ago \| discuss
15.		Building fast interpreters in Rust (cloudflare.com)
		2 points by rain1 to rust plt optimization compilers 276 days ago \| discuss
16.		GNU Mes Reduced Binary Seed bootstrap for GNU Guix [video] (youtube.com)
		3 points by rain1 to talk video bootstrapping compilers plt 330 days ago \| discuss
17.		Let's #TalkConcurrency with Sir Tony Hoare, Joe Armstrong, Carl Hewitt [video] (youtube.com)
		3 points by rain1 to concurrency plt programming talk video 336 days ago \| discuss
18.		A grammar for HTML5 (trevorjim.com)
		2 points by rain1 to html web plt programming 285 days ago \| discuss
19.		Crawling out of the turing tarpit (rolfwr.net)
		2 points by rain1 to bootstrapping compilers plt 292 days ago \| discuss
20.		ICFP 2019 Research Papers - ICFP 2019 (sigplan.org)
		by rain1 to plt programming papers science 220 days ago \| discuss
21.		Retro Forth: The Path to Self Hosting (reddit.com)
		3 points by rain1 to forth bootstrapping plt programming 357 days ago \| discuss
22.		Agent-Oriented Programming (1993) [pdf] (huji.ac.il)
		3 points by enkiv2 to historical agents plt 357 days ago \| 7 comments
23.		Kaukatcr: an experiment in language design for multi-dimensional spaces (hackernoon.com)
		3 points by enkiv2 to plt 359 days ago \| 2 comments
24.		Programming paradigms every programmer should know (acolyer.org)
		3 points by rain1 to plt programming compsci 362 days ago \| discuss
25.		Falcon: A Graph Manipulation Language for Heterogenous Systems (iisc.ernet.in)
		2 points by nickpsecurity to parallel c plt graphs pdf slides 307 days ago \| 1 comment
26.		Prolog’s Death \| Synthèse (synthese.wordpress.com)
		by rain1 to prolog programming plt programming.languages 256 days ago \| discuss
27.		(2004) Revisiting Coroutines - Ana Lucia de Moura, Roberto Ierusalimschy [pdf] (inf.puc-rio.br)
		2 points by rain1 to cs plt coroutines 347 days ago \| 1 comment
28.		Session types for Rust (2015) (munksgaard.me)
		2 points by rain1 to paper programming plt theory 358 days ago \| discuss
29.		Flow - Language for Safe, Multi-Platform Apps w/ Modern UI (flow9.org)
		by nickpsecurity to plt compilers programming portability 268 days ago \| 1 comment
30.		Composability, homogeneity, and language-based systems (medium.com)
		2 points by enkiv2 to plt 359 days ago \| discuss
		More