Ohad Kammar

typetitleauthorlast post sort icon
StoryCoq will be renamed Ohad Kammar2021-05-10 14:44
Forum topicIdris2 is self-hosting Ohad Kammar2020-06-10 06:49
Storysml-family.org Ohad Kammar2019-02-16 10:55
StorySimon Peyton Jones elected into the Royal Society Fellowship Ohad Kammar2016-05-01 16:27
StoryXavier Leroy will receive the Royal Society's 2016 Milner Award Ohad Kammar2015-09-18 16:15
StoryCakes, Custard, and Category Theory Ohad Kammar2015-07-17 16:47
Story Don Syme receives a medal for F# Ohad Kammar2015-07-06 18:06
StorySeemingly impossible programs Ohad Kammar2015-04-18 02:15
StoryExceptional syntax Chung-chieh Shan2014-11-04 18:51
StoryConservation laws for free! Ohad Kammar2014-10-29 16:28
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