LtU Forum

 Topic sort iconRepliesCreatedLast reply
  Algorithmically Unbounded Journal of Mathematical Truths215 years 7 weeks ago
by Philip Dorrell
15 years 7 weeks ago
by Chris Rathman
  Colorful dominoes game hides an exercise in propositional logic39 years 48 weeks ago
by jasha123
9 years 48 weeks ago
by jasha123
  Compiler Technology for Scalable Architectures613 years 41 weeks ago
by OwcA
13 years 41 weeks ago
by Nuno Cruces
  FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software211 years 49 weeks ago
by drcode
11 years 48 weeks ago
by Ehud Lamm
  FringeDC Informal Meeting Saturday Nov 10012 years 5 weeks ago
by drcode
n/a
  Lisaac: The power of simplicity at work for operating systems1811 years 43 weeks ago
by naasking
11 years 11 weeks ago
by destrella
  Looking for a little advice with implementing recursion.226 years 44 weeks ago
by Clarkd
6 years 39 weeks ago
by rmovchan
  Monad Description For Imperative Programmer5812 years 19 weeks ago
by kaveh.shahbazian
12 years 16 weeks ago
by greg travis
  Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest 19 years 26 weeks ago
by Morten Kromberg
9 years 26 weeks ago
by paddy3118
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus03 years 31 weeks ago
by raould
n/a
  SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?511 years 25 weeks ago
by hWnd
11 years 24 weeks ago
by Burton Samograd
  System F with Type Equality Coercions213 years 35 weeks ago
by genneth
13 years 35 weeks ago
by genneth
  The hits and misses of Microsoft3311 years 24 weeks ago
by Ehud Lamm
11 years 22 weeks ago
by Leon P Smith
 "A Theory of Interprocess Communication" -- Leslie Lamport59 years 8 weeks ago
by Thomas Lord
9 years 7 weeks ago
by el-vadimo
 "applicative" vs."functional"314 years 24 weeks ago
by bdenckla
14 years 24 weeks ago
by Anton van Straaten
 "Critical code studies"569 years 30 weeks ago
by Travis Brown
9 years 29 weeks ago
by Andrew Moss
 "Crutches in language design", accidental complexity and feature overlap338 years 8 weeks ago
by gasche
8 years 5 weeks ago
by skaller
 "Declarative" or "Functional"612 years 35 weeks ago
by kaveh.shahbazian
12 years 34 weeks ago
by Chas Emerick
 "Don't become a scientist" discussion at HN411 years 41 weeks ago
by hhm
11 years 41 weeks ago
by hhm
 "Down with Lambda-Lifting"513 years 34 weeks ago
by dbfaken
5 years 41 weeks ago
by gasche
 "dynamic" generative programming?914 years 24 weeks ago
by bdenckla
14 years 23 weeks ago
by bdenckla
 "Fog Cutter" model illustrates Actor Model issues46 years 1 week ago
by Hewitt
6 years 1 week ago
by Hewitt
 "Folding"/FP traversal over trees1013 years 1 week ago
by dbfaken
13 years 1 week ago
by dbfaken
 "Fortress Wrapping Up"227 years 20 weeks ago
by Alan Eliasen
7 years 4 weeks ago
by George Fraser
 "Future of Programming Languages" panel159 years 2 weeks ago
by puredanger
8 years 52 weeks ago
by Tom Novelli
XML feed