LtU Forum

 TopicRepliesCreatedLast reply sort icon
 how to design PL support for effects emerging from parallel non-determinism?52 days 15 hours ago
by Rys McCusker
7 hours 19 min ago
by Keean Schupke
 Is there a language with the ability to write arbitrary type functions?01 day 2 hours ago
by davidb
n/a
 Microscript573 weeks 6 days ago
by ivanvodisek
1 day 8 hours ago
by mtenright
 WebAssembly773 weeks 1 day ago
by ivanvodisek
2 days 19 hours ago
by raould
 Viability of a static type system (like ML) for a relational language?62 weeks 2 days ago
by mamcx
4 days 1 hour ago
by davidb
 PHOG: Probabilistic Model for Code05 days 12 hours ago
by Sean McDirmid
n/a
 Recursive types402 weeks 2 days ago
by skaller
1 week 3 days ago
by marco
 Transpiling a dynamically typed language to a statically typed language22 weeks 1 day ago
by filipallberg
2 weeks 22 hours ago
by ivanvodisek
 Stack of regions for managing effects?13 weeks 4 days ago
by Aivar Annamaa
2 weeks 1 day ago
by Oleg
 Programming with a Differentiable Forth Interpreter44 weeks 5 days ago
by Sean McDirmid
2 weeks 6 days ago
by raould
 PLDI 2016 Proceedings now available on-line, free for 3 weeks13 weeks 1 day ago
by emery
3 weeks 1 day ago
by gasche
 Metaprogramming and Free Availability of Sources 33 weeks 6 days ago
by omouse
3 weeks 4 days ago
by omouse
 Learning to Execute and Neural Turing Machines437 weeks 6 hours ago
by Sean McDirmid
3 weeks 6 days ago
by marco
 Theory of syntax extensions: does it exist?575 weeks 3 days ago
by johnwcowan
4 weeks 2 hours ago
by ivanvodisek
 A2: Analog Malicious Hardware54 weeks 4 days ago
by marco
4 weeks 2 days ago
by MarkM
 STEPS Toward the Reinvention of Programming, 2012 Final Report576 weeks 3 days ago
by Greg Buchholz
4 weeks 4 days ago
by Keean Schupke
 For the record...56 weeks 1 day ago
by Ehud Lamm
4 weeks 6 days ago
by skaller
 Programming by poking: why MIT stopped teaching SICP377 weeks 4 days ago
by Sean McDirmid
5 weeks 3 days ago
by Bruce Rennie
 Was there a language with an explicit call stack?497 weeks 5 days ago
by Alex Shpilkin
6 weeks 3 days ago
by pkhuong
 What is Intuitive?4810 years 40 weeks ago
by raould
6 weeks 3 days ago
by Sean McDirmid
 A Farewell to FRP in Elm56 weeks 5 days ago
by Greg Buchholz
6 weeks 4 days ago
by lmeyerov
 Algebra Of Pointers377 weeks 2 days ago
by Keean Schupke
6 weeks 5 days ago
by Thomas Lord
 PL's hotness challenge 798 weeks 1 day ago
by Sean McDirmid
6 weeks 6 days ago
by skaller
 Don't use "Yield" for co-routines; instead use "Postpone"9445 weeks 5 days ago
by Hewitt
7 weeks 57 min ago
by Hewitt
 ANN: Jekejeke Minlog 0.6.2 (forward debugging and hypothetical reasoning) 23 years 24 weeks ago
by j4n bur53
7 weeks 1 hour ago
by j4n bur53
XML feed