typetitleauthor sort iconlast post
Forum topicSK Calculus not Consider SeKsy? cdiggins2017-06-10 16:33
Forum topicWhy type systems are interesting Anton van Straaten2010-03-08 19:47
Forum topicOracles Jack Waugh2010-02-03 18:31
Forum topicObject Oriented Programming + Referential Transparency mjstahl2008-10-30 17:40
Forum topicOn the (perceived) equivalence of static and dynamically typed reflective programming languages Ran2008-10-28 23:49
Forum topicFunctional Programming in the ACM CS Curriculum mwand2008-07-19 22:42
StoryHardware Acceleration of Matrix Multiplication on a Xilinx FPGA Luke Gorrie2008-07-08 10:33
Forum topicFolding neither Left nor Right (or how to avoid overspecifying the solution to a problem) cdiggins2008-04-22 17:11
Forum topicpoll: syntax Givas2008-01-25 02:00
Forum topicA Growable Language Manifesto RobJellinghaus2007-12-24 20:01
Forum topicQuestion about the Monad associativity law sciomako2007-10-09 20:57
Forum topicFPGA CPUs erich2007-10-04 19:50
Forum topicTyped callcc in a stack-based language cdiggins2007-06-06 06:47
Forum topicCan referential transparency be bad? (puzzle included) Andris Birkmanis2007-05-12 00:53
Forum topicThe Problem with "dup" and "swap" in Stack-Based Languages cdiggins2007-01-16 13:55
Forum topic(Even more) theorems for free? Andris Birkmanis2007-01-03 21:55
StoryThe Future of LtU Ehud Lamm2006-12-26 02:37
Forum topicDate format in the forum Denis Bredelet -jido2006-12-11 04:11