LtU Forum

 TopicRepliesCreated sort iconLast reply
 CFL parsing, and another way to look at the CNF...511 year 30 weeks ago
by Cyril
1 year 28 weeks ago
by Cyril
 Refining Structured Type System571 year 32 weeks ago
by Ivan Vodišek
37 weeks 5 days ago
by Ivan Vodišek
 Cool stuff from recent conferences01 year 32 weeks ago
by Ehud Lamm
n/a
 Céu: Structured Synchronous Reactive Programming (SSRP)71 year 33 weeks ago
by fsantanna
1 year 32 weeks ago
by fsantanna
 Archaeological dig to find the first Lisp example of the Y-combinator11 year 33 weeks ago
by filipallberg
1 year 33 weeks ago
by John Shutt
 How will look a modern imperative language? All love here is functional only..851 year 33 weeks ago
by mamcx
1 year 30 weeks ago
by mtenright
 Inference of Polymorphic Recursion161 year 34 weeks ago
by Matt M
1 year 32 weeks ago
by Cyril
 Generic overload resolution141 year 35 weeks ago
by Jon Purdy
1 year 34 weeks ago
by Keean Schupke
 Unsoundness361 year 36 weeks ago
by skaller
1 year 34 weeks ago
by skaller
 Domain specific language for playing games421 year 36 weeks ago
by davidb
1 year 20 weeks ago
by marco
 Process Network for Effects, Monad Alternative321 year 40 weeks ago
by dmbarbour
1 year 30 weeks ago
by Keean Schupke
 Defining recursive function as a monad (or other solutions)291 year 40 weeks ago
by Ivan Vodišek
1 year 39 weeks ago
by Ivan Vodišek
 Eliminating left recursion301 year 41 weeks ago
by skaller
1 year 40 weeks ago
by Ivan Vodišek
 Splitting witnesses up21 year 42 weeks ago
by Z-Bo
1 year 42 weeks ago
by Z-Bo
 Any recent developments on "active libraries" that I'm missing?21 year 43 weeks ago
by osa1
1 year 41 weeks ago
by cyrus
 Resources for implementing higher-kinded types?31 year 45 weeks ago
by Jon Purdy
1 year 44 weeks ago
by neelk
 Seeking contributors to psyche-c01 year 45 weeks ago
by pronesto
n/a
 How to name the inverse functions of constructors271 year 45 weeks ago
by hbrandl
1 year 11 weeks ago
by L Spice
 Best value for overloading?141 year 45 weeks ago
by naasking
2 weeks 1 day ago
by naasking
 List of POPL 2017 papers with crowd-sourced preprint links71 year 46 weeks ago
by gasche
1 year 41 weeks ago
by cyrus
 Interesting use cases for universal quantifiers in rank 2?01 year 47 weeks ago
by Alex Shpilkin
n/a
 How is structural typing checked?81 year 48 weeks ago
by mamcx
1 year 47 weeks ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion111 year 49 weeks ago
by Keean Schupke
1 year 47 weeks ago
by Keean Schupke
 Parsing with derivatives - Elegant matching of regular languages in clojure01 year 49 weeks ago
by yehonathan sharvit
n/a
 Compile and Statically Verify71 year 50 weeks ago
by hbrandl
1 year 49 weeks ago
by hbrandl
XML feed