Ohad Kammar

typetitle sort iconauthorlast post
Forum topicOf Course ML Has Monads! Ohad Kammar2011-07-14 14:24
Forum topicMonads vs. Actors Sean McDirmid2011-03-02 21:15
StoryTropical Semirings neelk2010-12-10 15:56
StoryLand of Lisp Ohad Kammar2010-10-30 20:17
Forum topicPerlis Languages Robb Nebbe2010-10-14 16:16
StoryEff - Language of the Future Matt Hellige2010-10-03 21:03
StoryMonads in Action neelk2010-08-04 06:45
Forum topicA simple class of Kripke-style models in which logic and computation have equal standing dpmulligan2010-07-24 15:34
StoryScribble: Closing the Book on Ad Hoc Documentation Tools Manuel J. Simoni2010-07-23 23:54
StoryHandlers of Algebraic Effects Ohad Kammar2010-07-07 08:17
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