LtU Forum

 TopicRepliesCreatedLast reply sort icon
 Fixed points considered harmful5054 weeks 14 hours ago
by Hewitt
1 hour 18 min ago
by Matt M
 Lamport: Interprocess Communication12 hours 56 min ago
by Allan McInnes
2 hours 5 min ago
by Hewitt
 Strengthening Process Calculi2722 weeks 4 days ago
by raould
6 hours 43 min ago
by Thomas Lord
 Compilation to C, a definitive guide?1835 years 38 weeks ago
by naasking
10 hours 14 min ago
by johnwcowan
 Some New Directions for ACP Research41 week 6 hours ago
by André van Delft
5 days 5 hours ago
by André van Delft
 "Simple Made Easy" by Rich Hickey and subsequent discussion53 years 36 weeks ago
by shahbaz
5 days 14 hours ago
by johnwcowan
 Live programming in APX, an early peek242 weeks 4 days ago
by Sean McDirmid
5 days 16 hours ago
by Sean McDirmid
 Practical Principled FRP: Forget the past, change the future, FRPNow!21 week 6 hours ago
by Sean McDirmid
1 week 18 min ago
by Sean McDirmid
 Who can make LtU2?131 week 2 days ago
by raould
1 week 22 hours ago
by simon.stapleton
 Who owns your research? Results of SIGPLAN Open Access survey 6114 weeks 3 days ago
by gasche
1 week 3 days ago
by Keean Schupke
 Mathematics self-proves its own Consistency (contra Gödel et. al.)4701 year 49 weeks ago
by Hewitt
1 week 4 days ago
by Ross Angle
 Bi-simulation in security auditing11 week 4 days ago
by Hewitt
1 week 4 days ago
by Hewitt
 The Page-Fault Weird Machine: Lessons in Instruction-less Computation31 week 5 days ago
by marco
1 week 4 days ago
by raould
 Dedekind, Cantor, Conway, & Hewitt (w/ some Chomsky)111 week 6 days ago
by Thomas Lord
1 week 5 days ago
by Hewitt
 SPLASH 2015 - 2nd Combined Call for Contributions02 weeks 12 hours ago
by craiganslow
n/a
 The single instruction compiler02 weeks 17 hours ago
by marco
n/a
 Good syntax for single argument methods? 182 weeks 6 days ago
by Sean McDirmid
2 weeks 4 days ago
by raould
 XKCD on type theory...753 weeks 2 days ago
by Ray Dillinger
2 weeks 5 days ago
by Rys McCusker
 Symbol Flux: abstract visual debugging23 weeks 6 hours ago
by Sean McDirmid
2 weeks 6 days ago
by Sean McDirmid
 VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos02 weeks 6 days ago
by craiganslow
n/a
 Functors are Type Refinement Systems43 weeks 5 days ago
by adrieng
3 weeks 2 days ago
by Ross Angle
 Structuring F# Programs with Abstract Data Types [Presentation on Vimeo]03 weeks 6 days ago
by bryanedds
n/a
 Live Coding at Come Alive237 weeks 1 day ago
by marco
3 weeks 6 days ago
by Sean McDirmid
 The evolution of Rust925 weeks 3 days ago
by qznc
4 weeks 12 hours ago
by Thomas Lord
 Paper journals are in bad shape; priority established in HAL ...104 weeks 5 days ago
by Hewitt
4 weeks 13 hours ago
by Hewitt
XML feed