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 186 days ago | discuss
2.
Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk)
by rain1 to papers research programming plt 186 days ago | discuss
3.
Syntax of Oil Shell regexes (github.com)
by rain1 to programming plt design 188 days ago | discuss
4.
Tar-pit thinking (trevorjim.com)
9 points by rain1 to plt proglangdesign programming 420 days ago | 2 comments
5.
Xah Lee - Why I Hate Exceptions (2014) (xahlee.info)
2 points by rain1 to programming plt 271 days ago | discuss
6.
Picat - A simple and powerful, logic-based multi-paradigm language (picat-lang.org)
6 points by graygnome to plt programming 426 days ago | discuss
7.
Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
5 points by rain1 to forth programming plt 402 days ago | discuss
8.
PL Reading Group - Week 4: Definitional Interpreters
5 points by rain1 to ask plt programming reading compsci 406 days ago | discuss
9.
The Monadic Morass (trevorjim.com)
5 points by yumaikas to news plt 419 days ago | discuss
10.
Compiling with Dependent Types (williamjbowman.com)
4 points by nickpsecurity to pdf compilers plt 401 days ago | discuss
11.
End-user programming (inkandswitch.com)
3 points by enkiv2 to plt 369 days ago | 7 comments
12.
Antoyo/tiger-rs: Modern Compiler Implementation in ML in Rust (github.com)
by rain1 to compilers plt 261 days ago | discuss
13.
Reddit PL Reading Group - Abstract Interpretation (reddit.com)
3 points by rain1 to plt programming reading 375 days ago | discuss
14.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety 377 days ago | discuss
15.
Building fast interpreters in Rust (cloudflare.com)
2 points by rain1 to rust plt optimization compilers 343 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 397 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 403 days ago | discuss
18.
A grammar for HTML5 (trevorjim.com)
2 points by rain1 to html web plt programming 353 days ago | discuss
19.
Crawling out of the turing tarpit (rolfwr.net)
2 points by rain1 to bootstrapping compilers plt 359 days ago | discuss
20.
ICFP 2019 Research Papers - ICFP 2019 (sigplan.org)
by rain1 to plt programming papers science 288 days ago | discuss
21.
Retro Forth: The Path to Self Hosting (reddit.com)
3 points by rain1 to forth bootstrapping plt programming 424 days ago | discuss
22.
Agent-Oriented Programming (1993) [pdf] (huji.ac.il)
3 points by enkiv2 to historical agents plt 424 days ago | 7 comments
23.
Kaukatcr: an experiment in language design for multi-dimensional spaces (hackernoon.com)
3 points by enkiv2 to plt 426 days ago | 2 comments

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

RSS (stories) | RSS (comments)

Search: