recent posts

typetitle sort iconauthorlast post
StorySemantic types: a fresh look at the ideal model for types neelk2009-12-26 11:54
StorySemantics of Memory Management for Polymorphic Languages James Iry2009-04-16 00:08
Forum topicSemantics of the dodo language Denis Bredelet -jido2012-08-11 19:49
Forum topicSemantics: Logic vs. PL Ohad Kammar2009-06-27 14:17
StorySemi-implicit batched remote code execution as staging Manuel J. Simoni2010-12-17 00:17
StorySeminar: Classical vs. Quantum Computation Matt Hellige2006-12-21 21:16
StorySEP entry on Combinatory Logic Ehud Lamm2008-11-19 19:27
StorySeparation Logic courses (Reynolds) Ehud Lamm2007-03-15 15:45
StorySeparation Logic: A Logic for Shared Mutable Data Structures neelk2007-02-04 05:34
StorySequenceL - declarative computation on nonscalars Allan McInnes2009-11-03 12:28