LtU Forum

 Topic sort iconRepliesCreatedLast reply
  Algorithmically Unbounded Journal of Mathematical Truths213 years 38 weeks ago
by Philip Dorrell
13 years 38 weeks ago
by Chris Rathman
  Colorful dominoes game hides an exercise in propositional logic38 years 28 weeks ago
by jasha123
8 years 27 weeks ago
by jasha123
  Compiler Technology for Scalable Architectures612 years 20 weeks ago
by OwcA
12 years 20 weeks ago
by Nuno Cruces
  FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software210 years 29 weeks ago
by drcode
10 years 28 weeks ago
by Ehud Lamm
  FringeDC Informal Meeting Saturday Nov 10010 years 37 weeks ago
by drcode
n/a
  Lisaac: The power of simplicity at work for operating systems1810 years 23 weeks ago
by naasking
9 years 43 weeks ago
by destrella
  Looking for a little advice with implementing recursion.225 years 23 weeks ago
by Clarkd
5 years 18 weeks ago
by rmovchan
  Monad Description For Imperative Programmer5810 years 50 weeks ago
by kaveh.shahbazian
10 years 47 weeks ago
by greg travis
  Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest 18 years 6 weeks ago
by Morten Kromberg
8 years 5 weeks ago
by paddy3118
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus02 years 10 weeks ago
by raould
n/a
  SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?510 years 5 weeks ago
by hWnd
10 years 3 weeks ago
by Burton Samograd
  System F with Type Equality Coercions212 years 14 weeks ago
by genneth
12 years 14 weeks ago
by genneth
  The hits and misses of Microsoft3310 years 3 weeks ago
by Ehud Lamm
10 years 1 week ago
by Leon P Smith
 "A Theory of Interprocess Communication" -- Leslie Lamport57 years 40 weeks ago
by Thomas Lord
7 years 39 weeks ago
by el-vadimo
 "applicative" vs."functional"313 years 4 weeks ago
by bdenckla
13 years 4 weeks ago
by Anton van Straaten
 "Critical code studies"568 years 10 weeks ago
by Travis Brown
8 years 9 weeks ago
by Andrew Moss
 "Crutches in language design", accidental complexity and feature overlap336 years 40 weeks ago
by gasche
6 years 36 weeks ago
by skaller
 "Declarative" or "Functional"611 years 15 weeks ago
by kaveh.shahbazian
11 years 13 weeks ago
by Chas Emerick
 "Don't become a scientist" discussion at HN410 years 21 weeks ago
by hhm
10 years 20 weeks ago
by hhm
 "Down with Lambda-Lifting"512 years 13 weeks ago
by dbfaken
4 years 21 weeks ago
by gasche
 "dynamic" generative programming?913 years 3 weeks ago
by bdenckla
13 years 3 weeks ago
by bdenckla
 "Fog Cutter" model illustrates Actor Model issues44 years 32 weeks ago
by Hewitt
4 years 32 weeks ago
by Hewitt
 "Folding"/FP traversal over trees1011 years 32 weeks ago
by dbfaken
11 years 32 weeks ago
by dbfaken
 "Fortress Wrapping Up"226 years 15 hours ago
by Alan Eliasen
5 years 35 weeks ago
by George Fraser
 "Future of Programming Languages" panel157 years 34 weeks ago
by puredanger
7 years 31 weeks ago
by Tom Novelli
XML feed