LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Interesting use cases for universal quantifiers in rank 2?018 weeks 1 day ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure020 weeks 2 days ago
by yehonathan sharvit
n/a
 Bottom Types1522 weeks 3 days ago
by Keean Schupke
20 weeks 3 days ago
by Ivan Vodišek
 Compile and Statically Verify720 weeks 5 days ago
by hbrandl
20 weeks 3 days ago
by hbrandl
 Indispensible use cases for record subtyping?4122 weeks 4 days ago
by naasking
20 weeks 6 days ago
by naasking
 ZenScript, A new open-source language project.722 weeks 5 days ago
by Keean Schupke
21 weeks 2 days ago
by Matt M
 SPLASH'16 Amsterdam CFP: early registration ends Sept 30021 weeks 5 days ago
by craiganslow
n/a
 Certificates/proof of work of type checking?1523 weeks 2 days ago
by naasking
22 weeks 4 days ago
by Keean Schupke
 Feedback requested: A sample implementation of L-systems in Haskell548 weeks 2 days ago
by filipallberg
23 weeks 4 hours ago
by filipallberg
 Term Rewrite System Implementations?3824 weeks 2 days ago
by Ivan Vodišek
23 weeks 1 day ago
by marco
 Looking for references on the expressiveness and computational completeness of a relational programming language2127 weeks 3 days ago
by davidb
24 weeks 4 days ago
by Keean Schupke
 Lecturing birds how to fly825 weeks 5 days ago
by Charles Stewart
24 weeks 5 days ago
by John Shutt
 NOOL 2016024 weeks 5 days ago
by Roly Perera
n/a
 Programming Languages as Mathematical Representations2326 weeks 4 days ago
by mfidelman
25 weeks 1 day ago
by John Shutt
 Whither FRP?1126 weeks 5 days ago
by raould
25 weeks 2 days ago
by bashyal
 Viability of a static type system (like ML) for a relational language?2937 weeks 3 days ago
by mamcx
25 weeks 6 days ago
by AntC
 language handling of memory and other resource failures1526 weeks 6 days ago
by Rys McCusker
26 weeks 2 days ago
by Keean Schupke
 Is there a language with the ability to write arbitrary type functions?3635 weeks 1 day ago
by davidb
26 weeks 5 days ago
by Keean Schupke
 Microscript5839 weeks 8 hours ago
by Ivan Vodišek
29 weeks 14 min ago
by Ivan Vodišek
 A language for blind uncomprehending idiots who have no idea how programs work.2432 weeks 2 days ago
by Ray Dillinger
29 weeks 8 hours ago
by John Shutt
 Is there an existing name for my higher-order function?1529 weeks 6 days ago
by shawnbrown
29 weeks 1 day ago
by John Shutt
 Branch Forward Only632 weeks 4 days ago
by Greg Buchholz
30 weeks 3 days ago
by e
 Alice, Bob, and Penthesilea: mutually suspicious code and data owners834 weeks 4 days ago
by johnwcowan
30 weeks 3 days ago
by Dave
 how to design PL support for effects emerging from parallel non-determinism?8135 weeks 3 days ago
by Rys McCusker
32 weeks 3 days ago
by raould
 7th Workshop on the Evaluation and Usability of Programming Languages and Tools (PLATEAU) - Call for Papers034 weeks 5 days ago
by craiganslow
n/a
XML feed