Ohad Kammar

typetitleauthorlast post sort icon
Forum topicA question of separation logic and monads Eric Biederman2014-10-06 04:44
StoryInferring algebraic effects Ohad Kammar2014-10-04 17:39
StoryLuca Cardelli Festschrift Ohad Kammar2014-09-17 14:34
StoryGilad Is Right Erik Meijer2014-03-23 13:38
StoryDependently-Typed Metaprogramming (in Agda) Ohad Kammar2013-08-30 16:24
Storythe gnu extension language Manuel J. Simoni2013-06-28 14:23
StoryMilner Symposium 2012 Ohad Kammar2012-10-22 07:46
StoryKoka a function oriented language with effect inference Daniel Yokomizo2012-08-16 14:01
StoryWhat does focusing tell us about language design? Manuel J. Simoni2012-03-07 19:07
StoryA Semantic Model for Graphical User Interfaces Ohad Kammar2011-09-12 15:14
StoryLightweight Monadic Programming in ML Paul Snively2011-08-10 20:39
StoryLevy: a Toy Call-by-Push-Value Language Ohad Kammar2011-07-28 18:12
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