LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Generic overload resolution141 year 36 weeks ago
by Jon Purdy
1 year 35 weeks ago
by Keean Schupke
 Unsoundness361 year 36 weeks ago
by skaller
1 year 35 weeks ago
by skaller
 Defining recursive function as a monad (or other solutions)291 year 41 weeks ago
by Ivan Vodišek
1 year 40 weeks ago
by Ivan Vodišek
 Eliminating left recursion301 year 42 weeks ago
by skaller
1 year 40 weeks ago
by Ivan Vodišek
 List of POPL 2017 papers with crowd-sourced preprint links71 year 46 weeks ago
by gasche
1 year 41 weeks ago
by cyrus
 Any recent developments on "active libraries" that I'm missing?21 year 43 weeks ago
by osa1
1 year 41 weeks ago
by cyrus
 Splitting witnesses up21 year 42 weeks ago
by Z-Bo
1 year 42 weeks ago
by Z-Bo
 On the (Alleged) Value of Proof for Assurance1368 years 27 weeks ago
by shap
1 year 43 weeks ago
by NickP
 Resources for implementing higher-kinded types?31 year 45 weeks ago
by Jon Purdy
1 year 45 weeks ago
by neelk
 Seeking contributors to psyche-c01 year 45 weeks ago
by pronesto
n/a
 How is structural typing checked?81 year 49 weeks ago
by mamcx
1 year 47 weeks ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion111 year 49 weeks ago
by Keean Schupke
1 year 48 weeks ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?01 year 48 weeks ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure01 year 50 weeks ago
by yehonathan sharvit
n/a
 Bottom Types152 years 1 day ago
by Keean Schupke
1 year 50 weeks ago
by Ivan Vodišek
 Compile and Statically Verify71 year 50 weeks ago
by hbrandl
1 year 50 weeks ago
by hbrandl
 Indispensible use cases for record subtyping?412 years 2 days ago
by naasking
1 year 50 weeks ago
by naasking
 ZenScript, A new open-source language project.72 years 3 days ago
by Keean Schupke
1 year 51 weeks ago
by Matt M
 SPLASH'16 Amsterdam CFP: early registration ends Sept 3001 year 51 weeks ago
by craiganslow
n/a
 Certificates/proof of work of type checking?152 years 1 week ago
by naasking
2 years 2 days ago
by Keean Schupke
 Feedback requested: A sample implementation of L-systems in Haskell52 years 26 weeks ago
by filipallberg
2 years 5 days ago
by filipallberg
 Term Rewrite System Implementations?382 years 2 weeks ago
by Ivan Vodišek
2 years 6 days ago
by marco
 Looking for references on the expressiveness and computational completeness of a relational programming language212 years 5 weeks ago
by davidb
2 years 2 weeks ago
by Keean Schupke
 Lecturing birds how to fly82 years 3 weeks ago
by Charles Stewart
2 years 2 weeks ago
by John Shutt
 NOOL 201602 years 2 weeks ago
by Roly Perera
n/a
XML feed