LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Feedback on post?120 years 29 weeks ago
by ramses0
20 years 29 weeks ago
by Sjoerd Visscher
 Neko 1.1 Released720 years 30 weeks ago
by Nicolas Cannasse
20 years 29 weeks ago
by Nicolas Cannasse
 A Generator for Type Checkers020 years 30 weeks ago
by Cremieux Alain
n/a
 Can one avoid monads?720 years 31 weeks ago
by raould
20 years 30 weeks ago
by raould
 Ivory, an experimental declarative programming system1420 years 36 weeks ago
by AlasdairScott
20 years 30 weeks ago
by Alasdair Scott
 Programming Language Names2120 years 31 weeks ago
by Jeffery Walker
20 years 30 weeks ago
by Riaan Moll
 Type Nomenclature2520 years 31 weeks ago
by David B. Held
20 years 31 weeks ago
by Andreas Rossberg
 Invariants/Contracts vs. types2120 years 43 weeks ago
by dbfaken
20 years 31 weeks ago
by Leland McInnes
 Elegant Method of binding a function variable1220 years 31 weeks ago
by StuartBruff
20 years 31 weeks ago
by StuartBruff
 Slashdot asks: "how would you improve SQL?"820 years 31 weeks ago
by Allan McInnes
20 years 31 weeks ago
by em
 a + b * c in Brian Meek's "The static semantics file"320 years 31 weeks ago
by bdenckla
20 years 31 weeks ago
by bdenckla
 Geometric Algebra1420 years 31 weeks ago
by Derek Elkins
20 years 31 weeks ago
by raould
 Jakarta Commons Monad, er, Chain420 years 31 weeks ago
by Andris Birkmanis
20 years 31 weeks ago
by andrew cooke
 The Type-System-Feature-Creep Death Spiral3720 years 32 weeks ago
by jesuswaffle
20 years 31 weeks ago
by Chris Rathman
 Curry/Howard and Disjunction220 years 31 weeks ago
by Daniel Slaney
20 years 31 weeks ago
by Charles Stewart
 Would LISP/FP help here?1220 years 32 weeks ago
by Laurent Bruter
20 years 31 weeks ago
by satnam
 Why Lists?7620 years 33 weeks ago
by David B. Held
20 years 32 weeks ago
by Andris Birkmanis
 Parsing and syntax reordering520 years 32 weeks ago
by kruhft
20 years 32 weeks ago
by kruhft
 Waste your CPU-resources on programming challenge020 years 32 weeks ago
by mattias waldau
n/a
 Finding Application Errors Using PQL: A Program Query Language420 years 32 weeks ago
by Klaus Ostermann
20 years 32 weeks ago
by cananian
 Journal "Logical Methods in CS"920 years 33 weeks ago
by Charles Stewart
20 years 32 weeks ago
by Charles Stewart
 Pre-LINQ: rich object management in your PL220 years 32 weeks ago
by raould
20 years 32 weeks ago
by raould
 Terminology proposal320 years 33 weeks ago
by Matt Hellige
20 years 32 weeks ago
by Matt Hellige
 incremental algorithm help620 years 33 weeks ago
by shahbaz
20 years 33 weeks ago
by Alan Crowe
 Microsoft Command Shell (msh)020 years 33 weeks ago
by el-vadimo
n/a
XML feed