recent posts

typetitleauthor sort iconlast post
StoryCoq will be renamed Ohad Kammar2021-05-10 14:44
Forum topicOf Course ML Has Monads! Ohad Kammar2011-07-14 14:24
StorySimon Peyton Jones elected into the Royal Society Fellowship Ohad Kammar2016-05-01 16:27
StoryDependently-Typed Metaprogramming (in Agda) Ohad Kammar2013-08-30 16:24
Forum topicSemantics: Logic vs. PL Ohad Kammar2009-06-27 14:17
Forum topicIdris2 is self-hosting Ohad Kammar2020-06-10 06:49
StoryLuca Cardelli Festschrift Ohad Kammar2014-09-17 14:34
StoryConservation laws for free! Ohad Kammar2014-10-29 16:28
Forum topicDSLs and AOP Olaf Conijn2006-08-15 21:43
Forum topic...PHP language research oldaccount2011-08-31 18:33