LtU Forum

 TopicRepliesCreatedLast reply sort icon
 best superset language...1616 years 42 weeks ago
by ceti331
16 years 41 weeks ago
by Z-Bo
 Functional reactive programming in C# for WPF917 years 46 weeks ago
by Sean McDirmid
16 years 41 weeks ago
by Dumky
 Receiver knowing the sender?2616 years 43 weeks ago
by BigZaphod
16 years 41 weeks ago
by MarkM
 Why determinism matters in language design.2316 years 42 weeks ago
by John Carter
16 years 41 weeks ago
by dmbarbour
 Accumulating Types in C#916 years 42 weeks ago
by kaveh.shahbazian
16 years 41 weeks ago
by kaveh.shahbazian
 The Discrete Event Calculus as a Programming Language316 years 42 weeks ago
by Matthew Fuchs
16 years 42 weeks ago
by Matthew Fuchs
 limit and colimit116 years 42 weeks ago
by Chad950
16 years 42 weeks ago
by Ohad Kammar
 something strange happened after implementing a first interpreter1216 years 42 weeks ago
by Peter Michaux
16 years 42 weeks ago
by Charles Stewart
 FP, auto-generated code..416 years 42 weeks ago
by ceti331
16 years 42 weeks ago
by ceti331
 Kinds of Null1616 years 43 weeks ago
by Grant Watson
16 years 42 weeks ago
by Scott Johnson
 World’s first formal machine-checked proof of a general-purpose operating system kernel016 years 43 weeks ago
by Derek Elkins
n/a
 Ha?216 years 43 weeks ago
by Ehud Lamm
16 years 43 weeks ago
by Leon P Smith
 Resolved Debates in Syntax Design ?5216 years 46 weeks ago
by gasche
16 years 43 weeks ago
by Jacob N Smith
 Help me find a paper please?216 years 44 weeks ago
by dleary
16 years 43 weeks ago
by dleary
 Lucid, Gipsy paper316 years 44 weeks ago
by raould
16 years 44 weeks ago
by adrieng
 Various binding styles in OO216 years 44 weeks ago
by raould
16 years 44 weeks ago
by raould
 Formal methods for safety critical systems316 years 44 weeks ago
by Gergely Buday
16 years 44 weeks ago
by Gergely Buday
 Simplicity3316 years 46 weeks ago
by John Carter
16 years 44 weeks ago
by John Carter
 very simple haskell question316 years 45 weeks ago
by Chad950
16 years 44 weeks ago
by raould
 O'Caml Structure Editor Toolkit316 years 45 weeks ago
by Jacques Le Normand
16 years 44 weeks ago
by Jacques Le Normand
 Advanced Types in Qi521 years 4 weeks ago
by shahbaz
16 years 45 weeks ago
by L Spice
 Academic Commons016 years 45 weeks ago
by Hank Thediek
n/a
 Parsing user defined operators with precedence/assoc ala ML716 years 45 weeks ago
by scottmcl
16 years 45 weeks ago
by Jeremy
 Semanitcs in the real world?016 years 45 weeks ago
by Ehud Lamm
n/a
 Microsoft's new Dynamic Language Runtime (DLR)8619 years 6 weeks ago
by Sean McDirmid
16 years 45 weeks ago
by dmbarbour
XML feed