LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Conversion of 'functional' to 'imperative' algorithms: is it possible?2012 years 21 weeks ago
by Achilleas Margaritis
36 weeks 3 days ago
by marco
 Logic Production Systems (LPS)337 weeks 2 days ago
by Neil Madden
37 weeks 12 hours ago
by Enrique Perez Arnaud
 notes on a C-ish memory manager design2341 weeks 3 days ago
by Rys McCusker
37 weeks 14 hours ago
by dmbarbour
 Rust's language ergonomics initiative440 weeks 1 day ago
by gasche
39 weeks 2 days ago
by Charles Stewart
 CFL parsing, and another way to look at the CNF...5142 weeks 1 day ago
by Cyril
39 weeks 6 days ago
by Cyril
 Controlling Reductions841 weeks 3 days ago
by skaller
40 weeks 1 day ago
by Keean Schupke
 Process Network for Effects, Monad Alternative3251 weeks 5 days ago
by dmbarbour
42 weeks 1 day ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..8545 weeks 8 hours ago
by mamcx
42 weeks 2 days ago
by mtenright
 Céu: Structured Synchronous Reactive Programming (SSRP)744 weeks 5 days ago
by fsantanna
43 weeks 4 days ago
by fsantanna
 Cool stuff from recent conferences043 weeks 6 days ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion1646 weeks 2 days ago
by Matt M
44 weeks 1 hour ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator145 weeks 7 hours ago
by filipallberg
45 weeks 5 hours ago
by John Shutt
 Generic overload resolution1447 weeks 1 day ago
by Jon Purdy
46 weeks 1 day ago
by Keean Schupke
 Unsoundness3647 weeks 5 days ago
by skaller
46 weeks 3 days ago
by skaller
 Defining recursive function as a monad (or other solutions)291 year 10 hours ago
by Ivan Vodišek
51 weeks 2 days ago
by Ivan Vodišek
 Eliminating left recursion301 year 1 week ago
by skaller
52 weeks 6 hours ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links71 year 5 weeks ago
by gasche
1 year 3 days ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?21 year 2 weeks ago
by osa1
1 year 3 days ago
by cyrus
 Splitting witnesses up21 year 1 week ago
by Z-Bo
1 year 1 week ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1367 years 38 weeks ago
by shap
1 year 2 weeks ago
by NickP
 Resources for implementing higher-kinded types?31 year 4 weeks ago
by Jon Purdy
1 year 4 weeks ago
by neelk
 Seeking contributors to psyche-c01 year 4 weeks ago
by pronesto
n/a
 Best value for overloading?131 year 5 weeks ago
by naasking
1 year 4 weeks ago
by Keean Schupke
 How is structural typing checked?81 year 8 weeks ago
by mamcx
1 year 6 weeks ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion111 year 8 weeks ago
by Keean Schupke
1 year 7 weeks ago
by Keean Schupke
XML feed