LtU Forum

 TopicRepliesCreatedLast reply sort icon
 How is structural typing checked?823 weeks 11 hours ago
by mamcx
21 weeks 2 days ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion1123 weeks 3 days ago
by Keean Schupke
21 weeks 6 days ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?021 weeks 6 days ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure023 weeks 6 days ago
by yehonathan sharvit
n/a
 Bottom Types1526 weeks 17 hours ago
by Keean Schupke
24 weeks 12 hours ago
by Ivan Vodišek
 Compile and Statically Verify724 weeks 2 days ago
by hbrandl
24 weeks 1 day ago
by hbrandl
 Indispensible use cases for record subtyping?4126 weeks 1 day ago
by naasking
24 weeks 3 days ago
by naasking
 ZenScript, A new open-source language project.726 weeks 3 days ago
by Keean Schupke
24 weeks 6 days ago
by Matt M
 SPLASH'16 Amsterdam CFP: early registration ends Sept 30025 weeks 2 days ago
by craiganslow
n/a
 Certificates/proof of work of type checking?1526 weeks 6 days ago
by naasking
26 weeks 2 days ago
by Keean Schupke
 Feedback requested: A sample implementation of L-systems in Haskell551 weeks 6 days ago
by filipallberg
26 weeks 4 days ago
by filipallberg
 Term Rewrite System Implementations?3827 weeks 6 days ago
by Ivan Vodišek
26 weeks 6 days ago
by marco
 Looking for references on the expressiveness and computational completeness of a relational programming language2131 weeks 23 hours ago
by davidb
28 weeks 2 days ago
by Keean Schupke
 Lecturing birds how to fly829 weeks 2 days ago
by Charles Stewart
28 weeks 2 days ago
by John Shutt
 NOOL 2016028 weeks 3 days ago
by Roly Perera
n/a
 Programming Languages as Mathematical Representations2330 weeks 1 day ago
by mfidelman
28 weeks 6 days ago
by John Shutt
 Whither FRP?1130 weeks 3 days ago
by raould
28 weeks 6 days ago
by bashyal
 Viability of a static type system (like ML) for a relational language?2941 weeks 16 hours ago
by mamcx
29 weeks 4 days ago
by AntC
 language handling of memory and other resource failures1530 weeks 3 days ago
by Rys McCusker
29 weeks 6 days ago
by Keean Schupke
 Is there a language with the ability to write arbitrary type functions?3638 weeks 6 days ago
by davidb
30 weeks 2 days ago
by Keean Schupke
 Microscript5842 weeks 4 days ago
by Ivan Vodišek
32 weeks 4 days ago
by Ivan Vodišek
 A language for blind uncomprehending idiots who have no idea how programs work.2436 weeks 2 hours ago
by Ray Dillinger
32 weeks 4 days ago
by John Shutt
 Is there an existing name for my higher-order function?1533 weeks 3 days ago
by shawnbrown
32 weeks 5 days ago
by John Shutt
 Branch Forward Only636 weeks 1 day ago
by Greg Buchholz
34 weeks 14 hours ago
by e
 Alice, Bob, and Penthesilea: mutually suspicious code and data owners838 weeks 2 days ago
by johnwcowan
34 weeks 21 hours ago
by Dave
XML feed