LtU Forum

 TopicRepliesCreatedLast reply sort icon
 notes on a C-ish memory manager design2334 weeks 1 day ago
by Rys McCusker
29 weeks 5 days ago
by dmbarbour
 Rust's language ergonomics initiative432 weeks 6 days ago
by gasche
32 weeks 19 hours ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...5134 weeks 6 days ago
by Cyril
32 weeks 4 days ago
by Cyril
 Controlling Reductions834 weeks 1 day ago
by skaller
32 weeks 6 days ago
by Keean Schupke
 Process Network for Effects, Monad Alternative3244 weeks 3 days ago
by dmbarbour
34 weeks 5 days ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..8537 weeks 5 days ago
by mamcx
35 weeks 9 hours ago
by mtenright
 Céu: Structured Synchronous Reactive Programming (SSRP)737 weeks 3 days ago
by fsantanna
36 weeks 2 days ago
by fsantanna
 Cool stuff from recent conferences036 weeks 4 days ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion1639 weeks 12 hours ago
by Matt M
36 weeks 5 days ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator137 weeks 5 days ago
by filipallberg
37 weeks 5 days ago
by John Shutt
 Generic overload resolution1439 weeks 6 days ago
by Jon Purdy
38 weeks 6 days ago
by Keean Schupke
 Unsoundness3640 weeks 3 days ago
by skaller
39 weeks 1 day ago
by skaller
 Defining recursive function as a monad (or other solutions)2944 weeks 6 days ago
by Ivan Vodišek
44 weeks 20 hours ago
by Ivan Vodišek
 Eliminating left recursion3046 weeks 1 day ago
by skaller
44 weeks 5 days ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links750 weeks 4 days ago
by gasche
45 weeks 2 days ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?247 weeks 2 days ago
by osa1
45 weeks 2 days ago
by cyrus
 Splitting witnesses up246 weeks 4 days ago
by Z-Bo
46 weeks 3 days ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1367 years 31 weeks ago
by shap
47 weeks 3 days ago
by NickP
 Resources for implementing higher-kinded types?349 weeks 3 days ago
by Jon Purdy
49 weeks 1 day ago
by neelk
 Seeking contributors to psyche-c049 weeks 5 days ago
by pronesto
n/a
 Best value for overloading?1350 weeks 14 hours ago
by naasking
49 weeks 5 days ago
by Keean Schupke
 How is structural typing checked?81 year 1 week ago
by mamcx
51 weeks 3 days ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion111 year 1 week ago
by Keean Schupke
51 weeks 6 days ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?052 weeks 4 hours ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure01 year 1 week ago
by yehonathan sharvit
n/a
XML feed