LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Logic Production Systems (LPS)334 weeks 2 days ago
by Neil Madden
34 weeks 13 hours ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design2338 weeks 3 days ago
by Rys McCusker
34 weeks 15 hours ago
by dmbarbour
 Rust's language ergonomics initiative437 weeks 1 day ago
by gasche
36 weeks 2 days ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...5139 weeks 1 day ago
by Cyril
37 weeks 19 min ago
by Cyril
 Controlling Reductions838 weeks 3 days ago
by skaller
37 weeks 1 day ago
by Keean Schupke
 Process Network for Effects, Monad Alternative3248 weeks 5 days ago
by dmbarbour
39 weeks 1 day ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..8542 weeks 9 hours ago
by mamcx
39 weeks 2 days ago
by mtenright
 Céu: Structured Synchronous Reactive Programming (SSRP)741 weeks 5 days ago
by fsantanna
40 weeks 4 days ago
by fsantanna
 Cool stuff from recent conferences040 weeks 6 days ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion1643 weeks 2 days ago
by Matt M
41 weeks 3 hours ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator142 weeks 9 hours ago
by filipallberg
42 weeks 7 hours ago
by John Shutt
 Generic overload resolution1444 weeks 1 day ago
by Jon Purdy
43 weeks 1 day ago
by Keean Schupke
 Unsoundness3644 weeks 5 days ago
by skaller
43 weeks 3 days ago
by skaller
 Defining recursive function as a monad (or other solutions)2949 weeks 1 day ago
by Ivan Vodišek
48 weeks 2 days ago
by Ivan Vodišek
 Eliminating left recursion3050 weeks 3 days ago
by skaller
49 weeks 7 hours ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links71 year 2 weeks ago
by gasche
49 weeks 4 days ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?251 weeks 4 days ago
by osa1
49 weeks 4 days ago
by cyrus
 Splitting witnesses up250 weeks 6 days ago
by Z-Bo
50 weeks 5 days ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1367 years 35 weeks ago
by shap
51 weeks 5 days ago
by NickP
 Resources for implementing higher-kinded types?31 year 1 week ago
by Jon Purdy
1 year 1 week ago
by neelk
 Seeking contributors to psyche-c01 year 1 week ago
by pronesto
n/a
 Best value for overloading?131 year 2 weeks ago
by naasking
1 year 1 week ago
by Keean Schupke
 How is structural typing checked?81 year 5 weeks ago
by mamcx
1 year 3 weeks ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion111 year 5 weeks ago
by Keean Schupke
1 year 4 weeks ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?01 year 4 weeks ago
by Alex Shpilkin
n/a
XML feed