LtU Forum

 TopicRepliesCreated sort iconLast reply
 Unsoundness3645 weeks 2 days ago
by skaller
44 weeks 8 hours ago
by skaller
 Domain specific language for playing games4245 weeks 4 days ago
by davidb
29 weeks 2 days ago
by marco
 Process Network for Effects, Monad Alternative3249 weeks 2 days ago
by dmbarbour
39 weeks 4 days ago
by Keean Schupke
 Defining recursive function as a monad (or other solutions)2949 weeks 5 days ago
by Ivan Vodišek
48 weeks 6 days ago
by Ivan Vodišek
 Eliminating left recursion3051 weeks 6 hours ago
by skaller
49 weeks 3 days ago
by Ivan Vodišek
 Splitting witnesses up251 weeks 3 days ago
by Z-Bo
51 weeks 2 days ago
by Z-Bo
 Any recent developments on "active libraries" that I'm missing?21 year 4 hours ago
by osa1
50 weeks 1 day ago
by cyrus
 Resources for implementing higher-kinded types?31 year 2 weeks ago
by Jon Purdy
1 year 1 week ago
by neelk
 Seeking contributors to psyche-c01 year 2 weeks ago
by pronesto
n/a
 How to name the inverse functions of constructors271 year 2 weeks ago
by hbrandl
20 weeks 4 days ago
by L Spice
 Best value for overloading?131 year 2 weeks ago
by naasking
1 year 2 weeks ago
by Keean Schupke
 List of POPL 2017 papers with crowd-sourced preprint links71 year 3 weeks ago
by gasche
50 weeks 1 day ago
by cyrus
 Interesting use cases for universal quantifiers in rank 2?01 year 4 weeks ago
by Alex Shpilkin
n/a
 How is structural typing checked?81 year 5 weeks ago
by mamcx
1 year 4 weeks ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion111 year 6 weeks ago
by Keean Schupke
1 year 4 weeks ago
by Keean Schupke
 Parsing with derivatives - Elegant matching of regular languages in clojure01 year 6 weeks ago
by yehonathan sharvit
n/a
 Compile and Statically Verify71 year 7 weeks ago
by hbrandl
1 year 6 weeks ago
by hbrandl
 SPLASH'16 Amsterdam CFP: early registration ends Sept 3001 year 8 weeks ago
by craiganslow
n/a
 Bottom Types151 year 8 weeks ago
by Keean Schupke
1 year 6 weeks ago
by Ivan Vodišek
 Indispensible use cases for record subtyping?411 year 9 weeks ago
by naasking
1 year 7 weeks ago
by naasking
 ZenScript, A new open-source language project.71 year 9 weeks ago
by Keean Schupke
1 year 7 weeks ago
by Matt M
 Certificates/proof of work of type checking?151 year 9 weeks ago
by naasking
1 year 9 weeks ago
by Keean Schupke
 Term Rewrite System Implementations?381 year 10 weeks ago
by Ivan Vodišek
1 year 9 weeks ago
by marco
 NOOL 201601 year 11 weeks ago
by Roly Perera
n/a
 Lecturing birds how to fly81 year 12 weeks ago
by Charles Stewart
1 year 11 weeks ago
by John Shutt
XML feed