LtU Forum

 Topic sort iconRepliesCreatedLast reply
 A proof engine for Eiffel1313 years 38 weeks ago
by hbrandl
13 years 35 weeks ago
by hbrandl
 A Proposal for Simplified, Modern Definitions of "Object" and "Object Oriented"11411 years 36 weeks ago
by w7cook
11 years 11 weeks ago
by dmbarbour
 A question about COBOL!1618 years 46 weeks ago
by yuhong
18 years 46 weeks ago
by Marcin Tustin
 A Question about Overlap516 years 4 weeks ago
by cjh
16 years 3 weeks ago
by raould
 A question about subtypes inference618 years 35 weeks ago
by kilrati
18 years 33 weeks ago
by Philippa Cowderoy
 A Question Concerning Effect Types515 years 34 weeks ago
by shap
15 years 34 weeks ago
by shap
 A question for the theory guys1419 years 8 weeks ago
by Klaus Ostermann
19 years 7 weeks ago
by Sjoerd Visscher
 A question I have been meaning to ask.1718 years 42 weeks ago
by Hank Thediek
18 years 41 weeks ago
by Derek Elkins
 A question of separation logic and monads49 years 25 weeks ago
by Eric Biederman
9 years 25 weeks ago
by Ohad Kammar
 A question on free variable capture.1316 years 32 weeks ago
by cjh
16 years 31 weeks ago
by cjh
 A real game written in Haskell?212 years 51 weeks ago
by raould
12 years 51 weeks ago
by raould
 A reflective functional language for hardware design and theorem proving317 years 17 weeks ago
by Allan McInnes
17 years 8 weeks ago
by Allan McInnes
 A refutation of Gödel's first incompleteness theorem1616 years 50 weeks ago
by Enrique Perez Arnaud
6 years 44 weeks ago
by Enrique Perez Arnaud
 A relational language extension for Python217 years 7 weeks ago
by ggaughan
17 years 1 week ago
by stevanapter
 A Relational Model of Non-Deterministic Dataflow114 years 29 weeks ago
by raould
14 years 29 weeks ago
by raould
 A retro-active programming language110 years 48 weeks ago
by Robbert van Dalen
10 years 48 weeks ago
by kms
 A reversible Javascript interpreter1610 years 45 weeks ago
by Will Thimbleby
10 years 44 weeks ago
by Will Thimbleby
 a Scientific Basis for Visual Notations410 years 41 weeks ago
by raould
10 years 41 weeks ago
by Jon Purdy
 A section on Books618 years 31 weeks ago
by senthil
18 years 30 weeks ago
by Frank Atanassow
 A Self-Checking Type System5613 years 22 weeks ago
by munificent
13 years 18 weeks ago
by Eugene Toder
 A simple class of Kripke-style models in which logic and computation have equal standing313 years 37 weeks ago
by dpmulligan
13 years 35 weeks ago
by Gabbay
 A simple interchange format for syntax trees of any language1510 years 20 weeks ago
by David Piepgrass
10 years 16 weeks ago
by Ivan V.
 A sketch of a "design papers/pearls" category in academic conferences88 years 46 weeks ago
by gasche
8 years 46 weeks ago
by raould
 A software engineering problem: how would functional programming solve it?1218 years 35 weeks ago
by Achilleas Margaritis
18 years 35 weeks ago
by wrwills
 A solution to the catcall problem in Eiffel1313 years 46 weeks ago
by hbrandl
13 years 44 weeks ago
by hbrandl
XML feed