Ohad Kammar

typetitle sort iconauthorlast post
Forum topicDenotational semantics with other notions of convergence Neil Toronto2010-07-04 10:11
StoryThe Galois connection between syntax and semantics Ehud Lamm2010-06-19 01:47
Forum topicLate Robin Milner Ohad Kammar2010-04-14 17:43
Forum topicCurry Howard and more powerful type systems Brandon Niemczyk2010-03-24 19:06
Forum topicEffectful Code Transformations Ohad Kammar2010-03-23 05:25
Forum topicDo you know of any good summer schools on types/programming languages for 2010? iainmcgin2010-02-22 15:23
Forum topicEffect Systems? jesuswaffle2009-10-10 01:11
Forum topicfunctions vs procedures.. ceti3312009-08-20 18:05
Forum topiclimit and colimit Chad9502009-08-19 22:05
Forum topicLucid, Gipsy paper raould2009-08-08 20:55
Forum topicSemantics: Logic vs. PL Ohad Kammar2009-06-27 14:17
Forum topicPreventing downcasting and adding a universal variant cdiggins2009-06-16 22:17
Forum topicAlgebra Of Programming (Bird, De Moor) shahbaz2009-04-27 20:22
Forum topicElementary Category Theory Ohad Kammar2008-10-23 11:52
Forum topicIs Halting Problem Valid for P? ajgargand2008-05-04 23:24
Forum topicGoogle Tech Talk: Phil Gosset discusses parametric polymorphism and girard-reynolds isomorphism Chris Perkins2007-04-28 19:41
Forum topicFixed-Point Induction Ohad Kammar2006-09-16 16:38