LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Logic Production Systems (LPS)34 days 1 hour ago
by Neil Madden
1 day 15 hours ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design234 weeks 4 days ago
by Rys McCusker
1 day 16 hours ago
by dmbarbour
 Rust's language ergonomics initiative43 weeks 2 days ago
by gasche
2 weeks 4 days ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...515 weeks 2 days ago
by Cyril
3 weeks 1 day ago
by Cyril
 Controlling Reductions84 weeks 4 days ago
by skaller
3 weeks 3 days ago
by Keean Schupke
 Process Network for Effects, Monad Alternative3214 weeks 6 days ago
by dmbarbour
5 weeks 2 days ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..858 weeks 1 day ago
by mamcx
5 weeks 3 days ago
by mtenright
 Domain specific language for playing games3311 weeks 1 day ago
by davidb
5 weeks 6 days ago
by davidb
 Refining Structured Type System166 weeks 5 days ago
by Ivan Vodišek
6 weeks 1 day ago
by Cyril
 Céu: Structured Synchronous Reactive Programming (SSRP)77 weeks 6 days ago
by fsantanna
6 weeks 5 days ago
by fsantanna
 Cool stuff from recent conferences07 weeks 12 hours ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion169 weeks 3 days ago
by Matt M
7 weeks 1 day ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator18 weeks 1 day ago
by filipallberg
8 weeks 1 day ago
by John Shutt
 Generic overload resolution1410 weeks 3 days ago
by Jon Purdy
9 weeks 2 days ago
by Keean Schupke
 Unsoundness3610 weeks 6 days ago
by skaller
9 weeks 4 days ago
by skaller
 Defining recursive function as a monad (or other solutions)2915 weeks 2 days ago
by Ivan Vodišek
14 weeks 4 days ago
by Ivan Vodišek
 How to name the inverse functions of constructors2620 weeks 2 days ago
by hbrandl
14 weeks 4 days ago
by Burak Emir
 Eliminating left recursion3016 weeks 4 days ago
by skaller
15 weeks 1 day ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links721 weeks 11 hours ago
by gasche
15 weeks 5 days ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?217 weeks 5 days ago
by osa1
15 weeks 5 days ago
by cyrus
 Splitting witnesses up217 weeks 18 hours ago
by Z-Bo
16 weeks 6 days ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1367 years 2 weeks ago
by shap
17 weeks 6 days ago
by NickP
 Resources for implementing higher-kinded types?320 weeks 4 hours ago
by Jon Purdy
19 weeks 4 days ago
by neelk
 Seeking contributors to psyche-c020 weeks 1 day ago
by pronesto
n/a
 Best value for overloading?1320 weeks 3 days ago
by naasking
20 weeks 1 day ago
by Keean Schupke
XML feed