LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Eliminating left recursion144 days 17 hours ago
by skaller
15 hours 36 min ago
by naasking
 Any recent developments on "active libraries" that I'm missing?11 week 5 days ago
by osa1
5 days 14 hours ago
by skaller
 Splitting witnesses up21 week 20 hours ago
by Z-Bo
6 days 17 hours ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1366 years 38 weeks ago
by shap
1 week 6 days ago
by NickP
 How to name the inverse functions of constructors254 weeks 2 days ago
by hbrandl
2 weeks 1 day ago
by skaller
 Resources for implementing higher-kinded types?34 weeks 5 hours ago
by Jon Purdy
3 weeks 4 days ago
by neelk
 Seeking contributors to psyche-c04 weeks 1 day ago
by pronesto
n/a
 Best value for overloading?134 weeks 3 days ago
by naasking
4 weeks 1 day ago
by Keean Schupke
 List of POPL 2017 papers with crowd-sourced preprint links55 weeks 13 hours ago
by gasche
4 weeks 5 days ago
by neelk
 How is structural typing checked?87 weeks 4 days ago
by mamcx
5 weeks 6 days ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion118 weeks 2 hours ago
by Keean Schupke
6 weeks 3 days ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?06 weeks 3 days ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure08 weeks 3 days ago
by yehonathan sharvit
n/a
 Bottom Types1510 weeks 4 days ago
by Keean Schupke
8 weeks 4 days ago
by Ivan Vodišek
 Compile and Statically Verify78 weeks 6 days ago
by hbrandl
8 weeks 5 days ago
by hbrandl
 Indispensible use cases for record subtyping?4110 weeks 5 days ago
by naasking
9 weeks 16 hours ago
by naasking
 ZenScript, A new open-source language project.711 weeks 54 min ago
by Keean Schupke
9 weeks 3 days ago
by Matt M
 SPLASH'16 Amsterdam CFP: early registration ends Sept 3009 weeks 6 days ago
by craiganslow
n/a
 Certificates/proof of work of type checking?1511 weeks 3 days ago
by naasking
10 weeks 6 days ago
by Keean Schupke
 Feedback requested: A sample implementation of L-systems in Haskell536 weeks 3 days ago
by filipallberg
11 weeks 1 day ago
by filipallberg
 Term Rewrite System Implementations?3812 weeks 3 days ago
by Ivan Vodišek
11 weeks 3 days ago
by marco
 Looking for references on the expressiveness and computational completeness of a relational programming language2115 weeks 4 days ago
by davidb
12 weeks 6 days ago
by Keean Schupke
 Lecturing birds how to fly813 weeks 6 days ago
by Charles Stewart
12 weeks 6 days ago
by John Shutt
 NOOL 2016013 weeks 1 hour ago
by Roly Perera
n/a
 Programming Languages as Mathematical Representations2314 weeks 5 days ago
by mfidelman
13 weeks 3 days ago
by John Shutt
XML feed