laarcnew | comments | discord | tags | ask | show | place | submit | /l/pltlogin
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

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

RSS (stories) | RSS (comments)

Search: