LtU Forum

 Topic sort iconRepliesCreatedLast reply
  Algorithmically Unbounded Journal of Mathematical Truths220 years 16 weeks ago
by Philip Dorrell
20 years 16 weeks ago
by Chris Rathman
  Colorful dominoes game hides an exercise in propositional logic315 years 5 weeks ago
by jasha123
15 years 5 weeks ago
by jasha123
  Compiler Technology for Scalable Architectures618 years 50 weeks ago
by OwcA
18 years 50 weeks ago
by Nuno Cruces
  FringeDC Formal Meeting- Jan 5th 2008- Presentation by Gary Knott of Civilized Software217 years 6 weeks ago
by drcode
17 years 5 weeks ago
by Ehud Lamm
  FringeDC Informal Meeting Saturday Nov 10017 years 14 weeks ago
by drcode
n/a
  Lisaac: The power of simplicity at work for operating systems1817 years 5 days ago
by naasking
16 years 20 weeks ago
by destrella
  Looking for a little advice with implementing recursion.2212 years 1 week ago
by Clarkd
11 years 48 weeks ago
by rmovchan
  Monad Description For Imperative Programmer5817 years 28 weeks ago
by kaveh.shahbazian
17 years 25 weeks ago
by greg travis
  Rosetta Challenge Tasks added to the 2010 Dyalog Programming Contest 114 years 36 weeks ago
by Morten Kromberg
14 years 35 weeks ago
by paddy3118
  Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus08 years 40 weeks ago
by raould
n/a
  SWI-Prolog FFI Problem: Getting Prolog and C to work together on MacOS?516 years 34 weeks ago
by hWnd
16 years 33 weeks ago
by Burton Samograd
  System F with Type Equality Coercions218 years 44 weeks ago
by genneth
18 years 44 weeks ago
by genneth
  The hits and misses of Microsoft3316 years 33 weeks ago
by Ehud Lamm
16 years 31 weeks ago
by Leon P Smith
 "A Theory of Interprocess Communication" -- Leslie Lamport514 years 17 weeks ago
by Thomas Lord
14 years 16 weeks ago
by el-vadimo
 "applicative" vs."functional"319 years 34 weeks ago
by bdenckla
19 years 34 weeks ago
by Anton van Straaten
 "Critical code studies"5614 years 40 weeks ago
by Travis Brown
14 years 38 weeks ago
by Andrew Moss
 "Crutches in language design", accidental complexity and feature overlap3313 years 17 weeks ago
by gasche
13 years 14 weeks ago
by skaller
 "Declarative" or "Functional"617 years 45 weeks ago
by kaveh.shahbazian
17 years 43 weeks ago
by Chas Emerick
 "Don't become a scientist" discussion at HN416 years 50 weeks ago
by hhm
16 years 50 weeks ago
by hhm
 "Down with Lambda-Lifting"518 years 43 weeks ago
by dbfaken
10 years 50 weeks ago
by gasche
 "dynamic" generative programming?919 years 33 weeks ago
by bdenckla
19 years 33 weeks ago
by bdenckla
 "Fog Cutter" model illustrates Actor Model issues411 years 10 weeks ago
by Hewitt
11 years 10 weeks ago
by Hewitt
 "Folding"/FP traversal over trees1018 years 10 weeks ago
by dbfaken
18 years 10 weeks ago
by dbfaken
 "Fortress Wrapping Up"2212 years 29 weeks ago
by Alan Eliasen
12 years 13 weeks ago
by George Fraser
 "Future of Programming Languages" panel1514 years 11 weeks ago
by puredanger
14 years 9 weeks ago
by Tom Novelli
XML feed