LtU Forum

 TopicRepliesCreatedLast reply sort icon
 GPU for GC214 hours 20 min ago
by raould
5 hours 2 min ago
by Keean Schupke
 Annual Peter Landin Semantics Seminar: On correspondences between programming languages & semantic notations: 8th Dec 2014019 hours 20 min ago
by paulboca
n/a
 Declarative Interaction Design for Data Visualization31 day 9 hours ago
by lmeyerov
1 day 5 hours ago
by Sean McDirmid
 InterState: A Language and Environment for Expressing Interface Behavior01 day 10 hours ago
by Sean McDirmid
n/a
 Do Logic Languages Need Negation?741 week 2 days ago
by Keean Schupke
1 day 20 hours ago
by Keean Schupke
 wither formal methods?12 days 14 hours ago
by raould
2 days 4 hours ago
by Dave
 What's in a name?636 days 13 hours ago
by Sean McDirmid
2 days 11 hours ago
by Rys McCusker
 Synth Specification Overview32 weeks 4 days ago
by ivanvodisek
2 days 16 hours ago
by ivanvodisek
 Slots as reifications of OOP method names365 days 4 hours ago
by Joaquín M López Muñoz
2 days 16 hours ago
by Sean McDirmid
 request for namespace binding service terminology442 weeks 2 days ago
by Rys McCusker
2 days 19 hours ago
by dmbarbour
 Depth-first search in APL03 days 57 min ago
by ngn
n/a
 Parser error handling without exceptions44 days 16 hours ago
by andrewzboard
3 days 11 hours ago
by andrewzboard
 Testing first year programming students126 years 51 weeks ago
by Peter A Jonsson
3 days 17 hours ago
by Jeremy
 Has anyone used Datalog or RDF as a basis beyond model-driven development, like projectional editing or unikernel generation?03 days 19 hours ago
by Jason Livesay
n/a
 The year that was: 1965.2622 weeks 1 day ago
by Hank Thediek
5 days 1 hour ago
by Hank Thediek
 Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU)06 days 16 hours ago
by craiganslow
n/a
 'Mindless coding': following proof steps makes algorithms easy51 week 2 days ago
by raould
1 week 1 day ago
by Sean McDirmid
 Diseases in Code (rev. 5)313 weeks 1 day ago
by bryanedds
1 week 2 days ago
by raould
 The Programming Languages Enthusiast32 weeks 5 days ago
by Sean McDirmid
1 week 3 days ago
by Sam Tobin-Hochstadt
 Covariance issue when extending "enter" part in BETA?93 weeks 1 day ago
by Tim Foley
1 week 3 days ago
by Tim Foley
 The broad ML Family workshop815 weeks 7 hours ago
by Oleg
1 week 4 days ago
by gasche
 Is Rx FRP?613 weeks 2 days ago
by Sean McDirmid
2 weeks 1 day ago
by lmeyerov
 Dynamic Hindley-Milner?52 weeks 2 days ago
by Sean McDirmid
2 weeks 2 days ago
by neelk
 Gradual Instantiation33 weeks 1 day ago
by David Minor
2 weeks 3 days ago
by David Minor
 Compositional let bindings1155 weeks 1 day ago
by Keean Schupke
2 weeks 4 days ago
by marco
XML feed