LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Generic overload resolution126 days 2 hours ago
by Jon Purdy
2 hours 39 min ago
by Keean Schupke
 Unsoundness361 week 2 days ago
by skaller
19 hours 30 min ago
by skaller
 Domain specific language for playing games221 week 4 days ago
by davidb
3 days 23 hours ago
by skaller
 Process Network for Effects, Monad Alternative165 weeks 2 days ago
by dmbarbour
4 weeks 4 days ago
by Keean Schupke
 Defining recursive function as a monad (or other solutions)295 weeks 5 days ago
by Ivan Vodišek
5 weeks 2 hours ago
by Ivan Vodišek
 How to name the inverse functions of constructors2610 weeks 5 days ago
by hbrandl
5 weeks 9 hours ago
by Burak Emir
 Eliminating left recursion307 weeks 17 hours ago
by skaller
5 weeks 4 days ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links711 weeks 3 days ago
by gasche
6 weeks 1 day ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?28 weeks 1 day ago
by osa1
6 weeks 1 day ago
by cyrus
 Splitting witnesses up27 weeks 3 days ago
by Z-Bo
7 weeks 2 days ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1366 years 44 weeks ago
by shap
8 weeks 2 days ago
by NickP
 Resources for implementing higher-kinded types?310 weeks 3 days ago
by Jon Purdy
10 weeks 1 day ago
by neelk
 Seeking contributors to psyche-c010 weeks 4 days ago
by pronesto
n/a
 Best value for overloading?1310 weeks 6 days ago
by naasking
10 weeks 4 days ago
by Keean Schupke
 How is structural typing checked?814 weeks 10 hours ago
by mamcx
12 weeks 2 days ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion1114 weeks 3 days ago
by Keean Schupke
12 weeks 6 days ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?012 weeks 6 days ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure014 weeks 6 days ago
by yehonathan sharvit
n/a
 Bottom Types1517 weeks 17 hours ago
by Keean Schupke
15 weeks 12 hours ago
by Ivan Vodišek
 Compile and Statically Verify715 weeks 2 days ago
by hbrandl
15 weeks 1 day ago
by hbrandl
 Indispensible use cases for record subtyping?4117 weeks 1 day ago
by naasking
15 weeks 3 days ago
by naasking
 ZenScript, A new open-source language project.717 weeks 3 days ago
by Keean Schupke
15 weeks 6 days ago
by Matt M
 SPLASH'16 Amsterdam CFP: early registration ends Sept 30016 weeks 2 days ago
by craiganslow
n/a
 Certificates/proof of work of type checking?1517 weeks 6 days ago
by naasking
17 weeks 2 days ago
by Keean Schupke
 Feedback requested: A sample implementation of L-systems in Haskell542 weeks 6 days ago
by filipallberg
17 weeks 4 days ago
by filipallberg
XML feed