laarctags | new | comments | ask | show | place | submit | /l/pltlogin
1.
Qworum - A platform for distributed web applications (qworum.net)
by xojoc to programming plt 18 days ago | discuss
2.
Lan­guage-ori­ent­ed Pro­gram­ming in Rack­et (serverracket.com)
2 points by xojoc to plt book lisp 263 days ago | discuss
3.
Tar-pit thinking (trevorjim.com)
9 points by rain1 to plt proglangdesign programming on Feb 3, 2019 | 2 comments
4.
Picat - A simple and powerful, logic-based multi-paradigm language (picat-lang.org)
6 points by graygnome to plt programming on Jan 29, 2019 | discuss
5.
Forth The Invisible Language - Wolf Wejgaard (1996) (holonforth.com)
5 points by rain1 to forth programming plt on Feb 21, 2019 | discuss
6.
PL Reading Group - Week 4: Definitional Interpreters
5 points by rain1 to ask plt programming reading compsci on Feb 18, 2019 | discuss
7.
The Monadic Morass (trevorjim.com)
5 points by yumaikas to news plt on Feb 4, 2019 | discuss
8.
Compiling with Dependent Types (williamjbowman.com)
4 points by nickpsecurity to pdf compilers plt on Feb 22, 2019 | discuss
9.
End-user programming (inkandswitch.com)
3 points by enkiv2 to plt on March 26, 2019 | 7 comments
10.
Reddit PL Reading Group - Abstract Interpretation (reddit.com)
3 points by rain1 to plt programming reading on March 20, 2019 | discuss
11.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety on March 18, 2019 | discuss
12.
GNU Mes Reduced Binary Seed bootstrap for GNU Guix [video] (youtube.com)
3 points by rain1 to talk video bootstrapping compilers plt on Feb 26, 2019 | discuss
13.
Let's #TalkConcurrency with Sir Tony Hoare, Joe Armstrong, Carl Hewitt [video] (youtube.com)
3 points by rain1 to concurrency plt programming talk video on Feb 20, 2019 | discuss
14.
Retro Forth: The Path to Self Hosting (reddit.com)
3 points by rain1 to forth bootstrapping plt programming on Jan 30, 2019 | discuss
15.
Agent-Oriented Programming (1993) [pdf] (huji.ac.il)
3 points by enkiv2 to historical agents plt on Jan 30, 2019 | 7 comments
16.
Kaukatcr: an experiment in language design for multi-dimensional spaces (hackernoon.com)
3 points by enkiv2 to plt on Jan 28, 2019 | 2 comments
17.
Programming paradigms every programmer should know (acolyer.org)
3 points by rain1 to plt programming compsci on Jan 25, 2019 | discuss
18.
Xah Lee - Why I Hate Exceptions (2014) (xahlee.info)
2 points by rain1 to programming plt on July 2, 2019 | discuss
19.
Building fast interpreters in Rust (cloudflare.com)
2 points by rain1 to rust plt optimization compilers on April 21, 2019 | discuss
20.
A grammar for HTML5 (trevorjim.com)
2 points by rain1 to html web plt programming on April 12, 2019 | discuss
21.
Crawling out of the turing tarpit (rolfwr.net)
2 points by rain1 to bootstrapping compilers plt on April 5, 2019 | discuss
22.
Falcon: A Graph Manipulation Language for Heterogenous Systems (iisc.ernet.in)
2 points by nickpsecurity to parallel c plt graphs pdf slides on March 21, 2019 | 1 comment
23.
(2004) Revisiting Coroutines - Ana Lucia de Moura, Roberto Ierusalimschy [pdf] (inf.puc-rio.br)
2 points by rain1 to cs plt coroutines on Feb 9, 2019 | 1 comment
24.
Session types for Rust (2015) (munksgaard.me)
2 points by rain1 to paper programming plt theory on Jan 29, 2019 | discuss
25.
Composability, homogeneity, and language-based systems (medium.com)
2 points by enkiv2 to plt on Jan 28, 2019 | discuss
26.
Mycroft — A Predicate Logic Language — Overview / Post-mortem (hackernoon.com)
2 points by enkiv2 to plt on Jan 28, 2019 | discuss
27.
Alexis King — Languages in an Afternoon (youtube.com)
2 points by rain1 to plt programming lisp on Jan 24, 2019 | discuss
28.
Effects-bibliography: theory and practice of computational effects (github.com)
2 points by rain1 to programming plt on Jan 23, 2019 | discuss
29.
On the Expressive Power of Programming Languages by Shriram Krishnamurthi (youtube.com)
by rain1 to video talk plt programming.languages programming on Sept 26, 2019 | discuss
30.
Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk)
by rain1 to papers research programming plt on Sept 25, 2019 | discuss
10 more...

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

RSS (stories) | RSS (comments)

Search: