LtU Forum

 TopicRepliesCreatedLast reply sort icon
 CFL parsing, and another way to look at the CNF...112 days 4 hours ago
by Cyril
9 hours 57 min ago
by Cyril
 Process Network for Effects, Monad Alternative329 weeks 6 days ago
by dmbarbour
2 days 23 min ago
by Keean Schupke
 How will look a modern imperative language? All love here is functional only..853 weeks 1 day ago
by mamcx
3 days 11 hours ago
by mtenright
 Domain specific language for playing games336 weeks 1 day ago
by davidb
6 days 16 hours ago
by davidb
 Refining Structured Type System161 week 5 days ago
by Ivan Vodišek
1 week 1 day ago
by Cyril
 Céu: Structured Synchronous Reactive Programming (SSRP)72 weeks 6 days ago
by fsantanna
1 week 5 days ago
by fsantanna
 Cool stuff from recent conferences02 weeks 9 hours ago
by Ehud Lamm
n/a
 Inference of Polymorphic Recursion164 weeks 3 days ago
by Matt M
2 weeks 1 day ago
by Cyril
 Archaeological dig to find the first Lisp example of the Y-combinator13 weeks 1 day ago
by filipallberg
3 weeks 1 day ago
by John Shutt
 Generic overload resolution145 weeks 2 days ago
by Jon Purdy
4 weeks 2 days ago
by Keean Schupke
 Unsoundness365 weeks 6 days ago
by skaller
4 weeks 4 days ago
by skaller
 Defining recursive function as a monad (or other solutions)2910 weeks 2 days ago
by Ivan Vodišek
9 weeks 3 days ago
by Ivan Vodišek
 How to name the inverse functions of constructors2615 weeks 2 days ago
by hbrandl
9 weeks 4 days ago
by Burak Emir
 Eliminating left recursion3011 weeks 4 days ago
by skaller
10 weeks 1 day ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links716 weeks 9 hours ago
by gasche
10 weeks 5 days ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?212 weeks 5 days ago
by osa1
10 weeks 5 days ago
by cyrus
 Splitting witnesses up212 weeks 16 hours ago
by Z-Bo
11 weeks 6 days ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1366 years 49 weeks ago
by shap
12 weeks 6 days ago
by NickP
 Resources for implementing higher-kinded types?315 weeks 1 hour ago
by Jon Purdy
14 weeks 4 days ago
by neelk
 Seeking contributors to psyche-c015 weeks 1 day ago
by pronesto
n/a
 Best value for overloading?1315 weeks 3 days ago
by naasking
15 weeks 1 day ago
by Keean Schupke
 How is structural typing checked?818 weeks 4 days ago
by mamcx
16 weeks 6 days ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion1118 weeks 6 days ago
by Keean Schupke
17 weeks 2 days ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?017 weeks 3 days ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure019 weeks 3 days ago
by yehonathan sharvit
n/a
XML feed