LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Logic Production Systems (LPS)334 weeks 6 days ago
by Neil Madden
34 weeks 4 days ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design2339 weeks 4 hours ago
by Rys McCusker
34 weeks 4 days ago
by dmbarbour
 Rust's language ergonomics initiative437 weeks 5 days ago
by gasche
36 weeks 6 days ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...5139 weeks 5 days ago
by Cyril
37 weeks 4 days ago
by Cyril
 Controlling Reductions839 weeks 8 hours ago
by skaller
37 weeks 5 days ago
by Keean Schupke
 Process Network for Effects, Monad Alternative3249 weeks 2 days ago
by dmbarbour
39 weeks 5 days ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..8542 weeks 4 days ago
by mamcx
39 weeks 6 days ago
by mtenright
 Céu: Structured Synchronous Reactive Programming (SSRP)742 weeks 2 days ago
by fsantanna
41 weeks 1 day ago
by fsantanna
 Cool stuff from recent conferences041 weeks 3 days ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion1643 weeks 6 days ago
by Matt M
41 weeks 4 days ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator142 weeks 4 days ago
by filipallberg
42 weeks 4 days ago
by John Shutt
 Generic overload resolution1444 weeks 5 days ago
by Jon Purdy
43 weeks 5 days ago
by Keean Schupke
 Unsoundness3645 weeks 2 days ago
by skaller
44 weeks 16 hours ago
by skaller
 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 13 hours ago
by skaller
49 weeks 4 days ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links71 year 3 weeks ago
by gasche
50 weeks 1 day ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?21 year 11 hours ago
by osa1
50 weeks 1 day ago
by cyrus
 Splitting witnesses up251 weeks 3 days ago
by Z-Bo
51 weeks 2 days ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1367 years 36 weeks ago
by shap
1 year 1 day ago
by NickP
 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
 Best value for overloading?131 year 2 weeks ago
by naasking
1 year 2 weeks ago
by Keean Schupke
 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
 Interesting use cases for universal quantifiers in rank 2?01 year 4 weeks ago
by Alex Shpilkin
n/a
XML feed