LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Whither FRP?101 week 1 day ago
by raould
6 hours 50 min ago
by Kevin Greer
 Programming Languages as Mathematical Representations206 days 7 hours ago
by mfidelman
7 hours 26 min ago
by naasking
 Lecturing birds how to fly011 hours 39 min ago
by Charles Stewart
n/a
 Viability of a static type system (like ML) for a relational language?2911 weeks 5 days ago
by mamcx
2 days 4 hours ago
by AntC
 Looking for references on the expressiveness and computational completeness of a relational programming language161 week 5 days ago
by davidb
3 days 19 hours ago
by Keean Schupke
 language handling of memory and other resource failures151 week 1 day ago
by Rys McCusker
4 days 8 hours ago
by Keean Schupke
 Is there a language with the ability to write arbitrary type functions?369 weeks 3 days ago
by davidb
1 week 9 hours ago
by Keean Schupke
 Microscript5813 weeks 2 days ago
by ivanvodisek
3 weeks 2 days ago
by ivanvodisek
 A language for blind uncomprehending idiots who have no idea how programs work.246 weeks 4 days ago
by Ray Dillinger
3 weeks 2 days ago
by John Shutt
 Is there an existing name for my higher-order function?154 weeks 1 day ago
by shawnbrown
3 weeks 3 days ago
by John Shutt
 Branch Forward Only66 weeks 6 days ago
by Greg Buchholz
4 weeks 5 days ago
by e
 Alice, Bob, and Penthesilea: mutually suspicious code and data owners89 weeks 3 hours ago
by johnwcowan
4 weeks 5 days ago
by Dave
 how to design PL support for effects emerging from parallel non-determinism?819 weeks 5 days ago
by Rys McCusker
6 weeks 5 days ago
by raould
 7th Workshop on the Evaluation and Usability of Programming Languages and Tools (PLATEAU) - Call for Papers09 weeks 1 day ago
by craiganslow
n/a
 WebAssembly7712 weeks 4 days ago
by ivanvodisek
9 weeks 5 days ago
by raould
 PHOG: Probabilistic Model for Code010 weeks 1 day ago
by Sean McDirmid
n/a
 Recursive types4011 weeks 5 days ago
by skaller
10 weeks 5 days ago
by marco
 Transpiling a dynamically typed language to a statically typed language211 weeks 4 days ago
by filipallberg
11 weeks 3 days ago
by ivanvodisek
 Stack of regions for managing effects?112 weeks 6 days ago
by Aivar Annamaa
11 weeks 4 days ago
by Oleg
 Programming with a Differentiable Forth Interpreter414 weeks 1 day ago
by Sean McDirmid
12 weeks 2 days ago
by raould
 PLDI 2016 Proceedings now available on-line, free for 3 weeks112 weeks 4 days ago
by emery
12 weeks 4 days ago
by gasche
 Metaprogramming and Free Availability of Sources 313 weeks 2 days ago
by omouse
13 weeks 6 hours ago
by omouse
 Learning to Execute and Neural Turing Machines446 weeks 2 days ago
by Sean McDirmid
13 weeks 2 days ago
by marco
 Theory of syntax extensions: does it exist?5714 weeks 6 days ago
by johnwcowan
13 weeks 2 days ago
by ivanvodisek
 A2: Analog Malicious Hardware514 weeks 3 hours ago
by marco
13 weeks 4 days ago
by MarkM
XML feed