LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Seeking contributors to psyche-c01 year 32 weeks ago
by pronesto
n/a
 Best value for overloading?131 year 33 weeks ago
by naasking
1 year 32 weeks ago
by Keean Schupke
 How is structural typing checked?81 year 36 weeks ago
by mamcx
1 year 34 weeks ago
by mamcx
 Implicit conversion (subtyping) vs Explicit conversion111 year 36 weeks ago
by Keean Schupke
1 year 34 weeks ago
by Keean Schupke
 Interesting use cases for universal quantifiers in rank 2?01 year 34 weeks ago
by Alex Shpilkin
n/a
 Parsing with derivatives - Elegant matching of regular languages in clojure01 year 37 weeks ago
by yehonathan sharvit
n/a
 Bottom Types151 year 39 weeks ago
by Keean Schupke
1 year 37 weeks ago
by Ivan Vodišek
 Compile and Statically Verify71 year 37 weeks ago
by hbrandl
1 year 37 weeks ago
by hbrandl
 Indispensible use cases for record subtyping?411 year 39 weeks ago
by naasking
1 year 37 weeks ago
by naasking
 ZenScript, A new open-source language project.71 year 39 weeks ago
by Keean Schupke
1 year 38 weeks ago
by Matt M
 SPLASH'16 Amsterdam CFP: early registration ends Sept 3001 year 38 weeks ago
by craiganslow
n/a
 Certificates/proof of work of type checking?151 year 40 weeks ago
by naasking
1 year 39 weeks ago
by Keean Schupke
 Feedback requested: A sample implementation of L-systems in Haskell52 years 12 weeks ago
by filipallberg
1 year 39 weeks ago
by filipallberg
 Term Rewrite System Implementations?381 year 41 weeks ago
by Ivan Vodišek
1 year 39 weeks ago
by marco
 Looking for references on the expressiveness and computational completeness of a relational programming language211 year 44 weeks ago
by davidb
1 year 41 weeks ago
by Keean Schupke
 Lecturing birds how to fly81 year 42 weeks ago
by Charles Stewart
1 year 41 weeks ago
by John Shutt
 NOOL 201601 year 41 weeks ago
by Roly Perera
n/a
 Programming Languages as Mathematical Representations231 year 43 weeks ago
by mfidelman
1 year 41 weeks ago
by John Shutt
 Whither FRP?111 year 43 weeks ago
by raould
1 year 42 weeks ago
by bashyal
 Viability of a static type system (like ML) for a relational language?292 years 2 weeks ago
by mamcx
1 year 42 weeks ago
by AntC
 language handling of memory and other resource failures151 year 43 weeks ago
by Rys McCusker
1 year 42 weeks ago
by Keean Schupke
 Is there a language with the ability to write arbitrary type functions?361 year 51 weeks ago
by davidb
1 year 43 weeks ago
by Keean Schupke
 Microscript582 years 3 weeks ago
by Ivan Vodišek
1 year 45 weeks ago
by Ivan Vodišek
 A language for blind uncomprehending idiots who have no idea how programs work.241 year 49 weeks ago
by Ray Dillinger
1 year 45 weeks ago
by John Shutt
 Is there an existing name for my higher-order function?151 year 46 weeks ago
by shawnbrown
1 year 45 weeks ago
by John Shutt
XML feed