LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Viability of a static type system (like ML) for a relational language?196 weeks 3 days ago
by mamcx
1 day 1 hour ago
by Keean Schupke
 Branch Forward Only41 week 4 days ago
by Greg Buchholz
1 day 14 hours ago
by adrieng
 A language for blind uncomprehending idiots who have no idea how programs work.81 week 3 days ago
by Ray Dillinger
5 days 21 hours ago
by Ray Dillinger
 how to design PL support for effects emerging from parallel non-determinism?814 weeks 3 days ago
by Rys McCusker
1 week 3 days ago
by raould
 Alice, Bob, and Penthesilea: mutually suspicious code and data owners73 weeks 5 days ago
by johnwcowan
1 week 3 days ago
by johnwcowan
 Is there a language with the ability to write arbitrary type functions?254 weeks 2 days ago
by davidb
2 weeks 18 hours ago
by raould
 7th Workshop on the Evaluation and Usability of Programming Languages and Tools (PLATEAU) - Call for Papers03 weeks 6 days ago
by craiganslow
n/a
 Microscript578 weeks 23 hours ago
by ivanvodisek
4 weeks 2 days ago
by mtenright
 WebAssembly777 weeks 3 days ago
by ivanvodisek
4 weeks 3 days ago
by raould
 PHOG: Probabilistic Model for Code04 weeks 6 days ago
by Sean McDirmid
n/a
 Recursive types406 weeks 3 days ago
by skaller
5 weeks 4 days ago
by marco
 Transpiling a dynamically typed language to a statically typed language26 weeks 2 days ago
by filipallberg
6 weeks 1 day ago
by ivanvodisek
 Stack of regions for managing effects?17 weeks 5 days ago
by Aivar Annamaa
6 weeks 2 days ago
by Oleg
 Programming with a Differentiable Forth Interpreter48 weeks 6 days ago
by Sean McDirmid
7 weeks 18 hours ago
by raould
 PLDI 2016 Proceedings now available on-line, free for 3 weeks17 weeks 2 days ago
by emery
7 weeks 2 days ago
by gasche
 Metaprogramming and Free Availability of Sources 38 weeks 19 hours ago
by omouse
7 weeks 5 days ago
by omouse
 Learning to Execute and Neural Turing Machines441 weeks 1 day ago
by Sean McDirmid
8 weeks 23 hours ago
by marco
 Theory of syntax extensions: does it exist?579 weeks 4 days ago
by johnwcowan
8 weeks 1 day ago
by ivanvodisek
 A2: Analog Malicious Hardware58 weeks 5 days ago
by marco
8 weeks 3 days ago
by MarkM
 STEPS Toward the Reinvention of Programming, 2012 Final Report5710 weeks 4 days ago
by Greg Buchholz
8 weeks 5 days ago
by Keean Schupke
 For the record...510 weeks 3 days ago
by Ehud Lamm
9 weeks 3 hours ago
by skaller
 Programming by poking: why MIT stopped teaching SICP3711 weeks 5 days ago
by Sean McDirmid
9 weeks 4 days ago
by Bruce Rennie
 Was there a language with an explicit call stack?4911 weeks 6 days ago
by Alex Shpilkin
10 weeks 4 days ago
by pkhuong
 What is Intuitive?4810 years 44 weeks ago
by raould
10 weeks 4 days ago
by Sean McDirmid
 A Farewell to FRP in Elm510 weeks 6 days ago
by Greg Buchholz
10 weeks 5 days ago
by lmeyerov
XML feed