LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Any recent developments on "active libraries" that I'm missing?221 weeks 3 days ago
by osa1
19 weeks 3 days ago
by cyrus
 Splitting witnesses up220 weeks 5 days ago
by Z-Bo
20 weeks 4 days ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1367 years 5 weeks ago
by shap
21 weeks 4 days ago
by NickP
 Resources for implementing higher-kinded types?323 weeks 5 days ago
by Jon Purdy
23 weeks 2 days ago
by neelk
 Seeking contributors to psyche-c023 weeks 6 days ago
by pronesto
n/a
 Best value for overloading?1324 weeks 1 day ago
by naasking
23 weeks 6 days ago
by Keean Schupke
 How is structural typing checked?827 weeks 2 days ago
by mamcx
25 weeks 4 days ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion1127 weeks 4 days ago
by Keean Schupke
26 weeks 1 day ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?026 weeks 1 day ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure028 weeks 1 day ago
by yehonathan sharvit
n/a
 Bottom Types1530 weeks 2 days ago
by Keean Schupke
28 weeks 2 days ago
by Ivan Vodišek
 Compile and Statically Verify728 weeks 4 days ago
by hbrandl
28 weeks 3 days ago
by hbrandl
 Indispensible use cases for record subtyping?4130 weeks 3 days ago
by naasking
28 weeks 5 days ago
by naasking
 ZenScript, A new open-source language project.730 weeks 4 days ago
by Keean Schupke
29 weeks 1 day ago
by Matt M
 SPLASH'16 Amsterdam CFP: early registration ends Sept 30029 weeks 4 days ago
by craiganslow
n/a
 Certificates/proof of work of type checking?1531 weeks 1 day ago
by naasking
30 weeks 4 days ago
by Keean Schupke
 Feedback requested: A sample implementation of L-systems in Haskell51 year 4 weeks ago
by filipallberg
30 weeks 6 days ago
by filipallberg
 Term Rewrite System Implementations?3832 weeks 1 day ago
by Ivan Vodišek
31 weeks 1 day ago
by marco
 Looking for references on the expressiveness and computational completeness of a relational programming language2135 weeks 2 days ago
by davidb
32 weeks 4 days ago
by Keean Schupke
 Lecturing birds how to fly833 weeks 4 days ago
by Charles Stewart
32 weeks 4 days ago
by John Shutt
 NOOL 2016032 weeks 4 days ago
by Roly Perera
n/a
 Programming Languages as Mathematical Representations2334 weeks 3 days ago
by mfidelman
33 weeks 1 day ago
by John Shutt
 Whither FRP?1134 weeks 5 days ago
by raould
33 weeks 1 day ago
by bashyal
 Viability of a static type system (like ML) for a relational language?2945 weeks 2 days ago
by mamcx
33 weeks 6 days ago
by AntC
 language handling of memory and other resource failures1534 weeks 5 days ago
by Rys McCusker
34 weeks 1 day ago
by Keean Schupke
XML feed