Sean Leather

typetitleauthorlast post sort icon
Forum topicMutable objects with monadic methods giuseppemag2010-02-15 01:12
StoryNatural Deduction Reading for Beginners cdiggins2009-07-22 15:29
StoryBEE3: Putting the Buzz Back into Computer Architecture Luke Gorrie2008-10-30 17:47
Forum topicANN: Ur/Web: Statically-typed metaprogramming for the web Adam Chlipala2008-10-28 23:49
StoryCoinductive proof principles for stochastic processes neelk2008-09-11 20:05
Forum topictype derivation for 'map map', yelp numerodix2008-08-22 20:07
StoryWhat do you mean by studying "programming languages"? Ehud Lamm2008-01-22 18:34
StoryLinear types for aliased resources Ehud Lamm2006-12-07 16:10
Forum topicWhich Java compiler for a student/research project? Alexandre2006-10-03 01:00
Forum topicinternship advice Ryan Wisnesky2005-12-02 02:13
Forum topicBest default sequence? Greg Buchholz2005-10-22 01:16
Forum topicABLE tomaco2005-10-20 04:57
Forum topicPLT and College Kevin Lipe2005-10-13 14:37
Forum topicVirtual Machine books Scott Johnson2005-10-10 18:43
Forum topicChapel: "Solving the parallel programming problem" Sean Leather2005-10-09 18:53