Thomas Schilling

typetitleauthorlast post sort icon
Forum topicHave tracing JIT compilers won? Peter Michaux2015-05-26 21:09
Forum topicGADT vs. Type Classes Greg Buchholz2013-04-22 22:24
Forum topicParser that allow syntax extensions serras2010-01-24 03:08
StoryCausal Commutative Arrows and Their Optimization neelk2009-11-05 02:42
Forum topicTwitter and Scala snedunuri2009-04-08 19:30
StoryProgrammable Concurrency in a Pure and Lazy Language James Iry2008-12-31 23:41
Forum topicCommon Lisp Exception Handling SamK2008-10-20 00:55
Forum topicLectures on the Curry-Howard Isomorphism Ehud Lamm2007-08-28 17:18
StoryVamOz: Visual Abstract Machine for Oz Andris Birkmanis2007-08-25 17:45
Forum topicType Theories sciomako2007-08-17 06:56
StoryTheorem proving support in programming language semantics Charles Stewart2007-08-03 22:27
Forum topicWhat Makes Erlang Processes Tick? mjstahl2007-01-29 19:09
Forum topicPractical Laziness jimdesu2006-12-04 23:47
StoryTesting Telecoms Software with Quviq QuickCheck Luke Gorrie2006-11-18 01:08
StoryPractical OCaml Matt Hellige2006-11-14 13:41
StoryA rationale for semantically enhanced library languages Ehud Lamm2006-11-06 07:50
Forum topicDelevoping a new language... D.G.Gaev2006-10-27 07:42
Forum topicThe US Torture Bill as C code Ehud Lamm2006-10-15 11:09
Forum topicDesigning a Programming Textbook cdiggins2006-10-02 19:26
Forum topicemulation for Erlang style processes Rys McCusker2006-06-11 03:01