/l/plt | laarc

laarc

1.		Falcon: A Graph Manipulation Language for Heterogenous Systems (iisc.ernet.in)
		by nickpsecurity to parallel c plt graphs pdf slides 3 hours ago \| 1 comment
2.		Reddit PL Reading Group - Abstract Interpretation (reddit.com)
		2 points by rain1 to plt programming reading 23 hours ago \| discuss
3.		Checked C - Microsoft Research (microsoft.com)
		2 points by rain1 to formal.verification c plt programming safety 2 days ago \| discuss
4.		The Three Projections of Doctor Futamura (sigfpe.com)
		by nickpsecurity to plt programming compilers 8 days ago \| 1 comment
5.		APL: A glimpse of heaven (vector.org.uk)
		by enkiv2 to plt apl 14 days ago \| discuss
6.		GNU Mes Reduced Binary Seed bootstrap for GNU Guix [video] (youtube.com)
		3 points by rain1 to talk video bootstrapping compilers plt 23 days ago \| discuss
7.		Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
		5 points by rain1 to forth programming plt 28 days ago \| discuss
8.		Compiling with Dependent Types (williamjbowman.com)
		4 points by nickpsecurity to pdf compilers plt 27 days ago \| discuss
9.		Let's #TalkConcurrency with Sir Tony Hoare, Joe Armstrong, Carl Hewitt [video] (youtube.com)
		3 points by rain1 to concurrency plt programming talk video 29 days ago \| discuss
10.		PL Reading Group - Week 4: Definitional Interpreters
		5 points by rain1 to ask plt programming reading compsci 31 days ago \| discuss
11.		(2004) Revisiting Coroutines - Ana Lucia de Moura, Roberto Ierusalimschy [pdf] (inf.puc-rio.br)
		2 points by rain1 to cs plt coroutines 40 days ago \| 1 comment
12.		The Monadic Morass (trevorjim.com)
		5 points by yumaikas to news plt 44 days ago \| discuss
13.		Tar-pit thinking (trevorjim.com)
		9 points by rain1 to plt proglangdesign programming 46 days ago \| 2 comments