LtU Forum

 Topic sort iconRepliesCreatedLast reply
 A question for the theory guys1413 years 33 weeks ago
by Klaus Ostermann
13 years 32 weeks ago
by Sjoerd Visscher
 A question I have been meaning to ask.1713 years 15 weeks ago
by Hank Thediek
13 years 14 weeks ago
by Derek Elkins
 A question of separation logic and monads43 years 50 weeks ago
by Eric Biederman
3 years 50 weeks ago
by Ohad Kammar
 A question on free variable capture.1311 years 5 weeks ago
by cjh
11 years 4 weeks ago
by cjh
 A real game written in Haskell?27 years 23 weeks ago
by raould
7 years 23 weeks ago
by raould
 A reflective functional language for hardware design and theorem proving311 years 42 weeks ago
by Allan McInnes
11 years 33 weeks ago
by Allan McInnes
 A refutation of Gödel's first incompleteness theorem1611 year 22 weeks ago
by Enrique Perez Arnaud
1 year 16 weeks ago
by Enrique Perez Arnaud
 A relational language extension for Python211 years 32 weeks ago
by ggaughan
11 years 26 weeks ago
by stevanapter
 A Relational Model of Non-Deterministic Dataflow19 years 1 week ago
by raould
9 years 1 week ago
by raould
 A retro-active programming language15 years 20 weeks ago
by Robbert van Dalen
5 years 20 weeks ago
by kms
 A reversible Javascript interpreter165 years 18 weeks ago
by Will Thimbleby
5 years 16 weeks ago
by Will Thimbleby
 a Scientific Basis for Visual Notations45 years 14 weeks ago
by raould
5 years 13 weeks ago
by Jon Purdy
 A section on Books613 years 3 weeks ago
by senthil
13 years 3 weeks ago
by Frank Atanassow
 A Self-Checking Type System567 years 46 weeks ago
by munificent
7 years 43 weeks ago
by Eugene Toder
 A simple class of Kripke-style models in which logic and computation have equal standing38 years 10 weeks ago
by dpmulligan
8 years 8 weeks ago
by Gabbay
 A simple interchange format for syntax trees of any language154 years 45 weeks ago
by David Piepgrass
4 years 41 weeks ago
by Ivan Vodišek
 A sketch of a "design papers/pearls" category in academic conferences83 years 19 weeks ago
by gasche
3 years 18 weeks ago
by raould
 A software engineering problem: how would functional programming solve it?1213 years 8 weeks ago
by Achilleas Margaritis
13 years 8 weeks ago
by wrwills
 A solution to the catcall problem in Eiffel138 years 19 weeks ago
by hbrandl
8 years 17 weeks ago
by hbrandl
 A StackExchange Site for Programming Language Theory954 years 23 weeks ago
by aaditmshah
3 years 51 weeks ago
by dmbarbour
 A stackless runtime environment for a Pi-calculus811 years 46 weeks ago
by Allan McInnes
11 years 46 weeks ago
by James McCartney
 A stratified implementation of a LISP-to-CIL compiler76 years 3 weeks ago
by bryanedds
6 years 1 week ago
by Mike Bibby
 A subtle extention to Lisp-style macros1010 years 7 weeks ago
by derekp
10 years 6 weeks ago
by Z-Bo
 A survey and discussion of taming effects1410 years 43 weeks ago
by naasking
10 years 42 weeks ago
by naasking
 A Theory of Changes for Higher-Order Languages: Incrementalizing Lambda by Static Differentiation04 years 20 weeks ago
by Sean McDirmid
n/a
XML feed