LtU Forum

 TopicRepliesCreated sort iconLast reply
 SPLASH'16 Amsterdam CFP: early registration ends Sept 3001 year 50 weeks ago
by craiganslow
n/a
 Bottom Types151 year 51 weeks ago
by Keean Schupke
1 year 49 weeks ago
by Ivan Vodišek
 Indispensible use cases for record subtyping?411 year 51 weeks ago
by naasking
1 year 50 weeks ago
by naasking
 ZenScript, A new open-source language project.71 year 52 weeks ago
by Keean Schupke
1 year 50 weeks ago
by Matt M
 Certificates/proof of work of type checking?152 years 3 days ago
by naasking
1 year 51 weeks ago
by Keean Schupke
 Term Rewrite System Implementations?382 years 1 week ago
by Ivan Vodišek
2 years 2 days ago
by marco
 NOOL 201602 years 1 week ago
by Roly Perera
n/a
 Lecturing birds how to fly82 years 2 weeks ago
by Charles Stewart
2 years 1 week ago
by John Shutt
 Programming Languages as Mathematical Representations232 years 3 weeks ago
by mfidelman
2 years 2 weeks ago
by John Shutt
 Whither FRP?112 years 3 weeks ago
by raould
2 years 2 weeks ago
by bashyal
 language handling of memory and other resource failures152 years 3 weeks ago
by Rys McCusker
2 years 3 weeks ago
by Keean Schupke
 Looking for references on the expressiveness and computational completeness of a relational programming language212 years 4 weeks ago
by davidb
2 years 1 week ago
by Keean Schupke
 Is there an existing name for my higher-order function?152 years 6 weeks ago
by shawnbrown
2 years 6 weeks ago
by John Shutt
 A language for blind uncomprehending idiots who have no idea how programs work.242 years 9 weeks ago
by Ray Dillinger
2 years 6 weeks ago
by John Shutt
 Branch Forward Only62 years 9 weeks ago
by Greg Buchholz
2 years 7 weeks ago
by e
 Alice, Bob, and Penthesilea: mutually suspicious code and data owners82 years 11 weeks ago
by johnwcowan
2 years 7 weeks ago
by Dave
 7th Workshop on the Evaluation and Usability of Programming Languages and Tools (PLATEAU) - Call for Papers02 years 11 weeks ago
by craiganslow
n/a
 Is there a language with the ability to write arbitrary type functions?362 years 12 weeks ago
by davidb
2 years 3 weeks ago
by Keean Schupke
 how to design PL support for effects emerging from parallel non-determinism?812 years 12 weeks ago
by Rys McCusker
2 years 9 weeks ago
by raould
 PHOG: Probabilistic Model for Code02 years 12 weeks ago
by Sean McDirmid
n/a
 Transpiling a dynamically typed language to a statically typed language22 years 14 weeks ago
by filipallberg
2 years 14 weeks ago
by Ivan Vodišek
 Viability of a static type system (like ML) for a relational language?292 years 14 weeks ago
by mamcx
2 years 3 weeks ago
by AntC
 Recursive types402 years 14 weeks ago
by skaller
2 years 13 weeks ago
by marco
 PLDI 2016 Proceedings now available on-line, free for 3 weeks12 years 15 weeks ago
by emery
2 years 15 weeks ago
by gasche
 WebAssembly772 years 15 weeks ago
by Ivan Vodišek
2 years 12 weeks ago
by raould
XML feed