LtU Forum

 TopicRepliesCreatedLast reply sort icon
 SPLASH'16 Amsterdam CFP: early registration ends Sept 3001 day 17 hours ago
by craiganslow
n/a
 Bottom Types136 days 21 hours ago
by Keean Schupke
3 days 7 hours ago
by Keean Schupke
 Indispensible use cases for record subtyping?361 week 1 day ago
by naasking
4 days 17 hours ago
by dmbarbour
 Certificates/proof of work of type checking?151 week 6 days ago
by naasking
1 week 1 day ago
by Keean Schupke
 ZenScript, A new open-source language project.51 week 2 days ago
by Keean Schupke
1 week 1 day ago
by Keean Schupke
 Feedback requested: A sample implementation of L-systems in Haskell526 weeks 5 days ago
by filipallberg
1 week 3 days ago
by filipallberg
 Term Rewrite System Implementations?382 weeks 5 days ago
by Ivan Vodišek
1 week 5 days ago
by marco
 Looking for references on the expressiveness and computational completeness of a relational programming language216 weeks 3 hours ago
by davidb
3 weeks 1 day ago
by Keean Schupke
 Lecturing birds how to fly84 weeks 1 day ago
by Charles Stewart
3 weeks 1 day ago
by John Shutt
 NOOL 201603 weeks 2 days ago
by Roly Perera
n/a
 Programming Languages as Mathematical Representations235 weeks 18 hours ago
by mfidelman
3 weeks 5 days ago
by John Shutt
 Whither FRP?115 weeks 2 days ago
by raould
3 weeks 6 days ago
by bashyal
 Viability of a static type system (like ML) for a relational language?2915 weeks 6 days ago
by mamcx
4 weeks 3 days ago
by AntC
 language handling of memory and other resource failures155 weeks 2 days ago
by Rys McCusker
4 weeks 5 days ago
by Keean Schupke
 Is there a language with the ability to write arbitrary type functions?3613 weeks 5 days ago
by davidb
5 weeks 1 day ago
by Keean Schupke
 Microscript5817 weeks 4 days ago
by Ivan Vodišek
7 weeks 3 days ago
by Ivan Vodišek
 A language for blind uncomprehending idiots who have no idea how programs work.2410 weeks 6 days ago
by Ray Dillinger
7 weeks 4 days ago
by John Shutt
 Is there an existing name for my higher-order function?158 weeks 2 days ago
by shawnbrown
7 weeks 5 days ago
by John Shutt
 Branch Forward Only611 weeks 19 hours ago
by Greg Buchholz
8 weeks 6 days ago
by e
 Alice, Bob, and Penthesilea: mutually suspicious code and data owners813 weeks 1 day ago
by johnwcowan
9 weeks 41 min ago
by Dave
 how to design PL support for effects emerging from parallel non-determinism?8113 weeks 6 days ago
by Rys McCusker
10 weeks 6 days ago
by raould
 7th Workshop on the Evaluation and Usability of Programming Languages and Tools (PLATEAU) - Call for Papers013 weeks 2 days ago
by craiganslow
n/a
 WebAssembly7716 weeks 6 days ago
by Ivan Vodišek
13 weeks 6 days ago
by raould
 PHOG: Probabilistic Model for Code014 weeks 2 days ago
by Sean McDirmid
n/a
 Recursive types4015 weeks 6 days ago
by skaller
15 weeks 9 hours ago
by marco
XML feed