recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Luca Cardelli Festschrift Conway's Law by dmbarbour Is there a deep reason why by Ehud Lamm Mobile Ambients by dmbarbour Festschrift by Matt M	Ohad Kammar	2014-09-17 14:34
Story	Conservation laws for free! mea culpa by Dave Atkey et al. by Ohad Kammar tiger, tiger, for-all bright... by Dave translation? by raould cool by Dave	Ohad Kammar	2014-10-29 16:28
Forum topic	Elementary Category Theory Updated links by joel.neely so by jdgallag not even by jdgallag Category Theory for Dummies - slides available by xeo_at_thermopylae You're right by Walt Pohl Equalizers exactly express the property you want.... by neelk But what did equalizers add? by Ohad Kammar Look up "equalizers" by neelk Moot by Frank Atanassow Iso Blues by Marc Hamann ...	Ohad Kammar	2008-10-23 11:52
Story	sml-family.org early 1980s UNIX ML (VAX ML or Cardelli ML) found by nigwil I am not sure I understand by Ehud Lamm	Ohad Kammar	2019-02-16 10:55
Story	Land of Lisp Other changes? by Brooks Moses 'Lazy' guild by dmbarbour What an awesome comic! by loumarco But the promo video is by stefan Yeah by dmbarbour It's posted online as a sample chapter. by Brooks Moses * Alas, the graph is not a dodecahedron any more by johnwcowan Grand Theft Wumpus by dmbarbour	Ohad Kammar	2010-10-30 20:17
Story	Don Syme receives a medal for F# don't worry be happy by raould Implements the Actor Model too by marco And units of measure and by Jules Jacobs Re:F#'s innovations, don't by naasking Conflicted by Bárður Árantsson	Ohad Kammar	2015-07-06 18:06
Story	Xavier Leroy will receive the Royal Society's 2016 Milner Award If only the other guys by Ehud Lamm That's two Royal institutes.. by Ohad Kammar	Ohad Kammar	2015-09-18 16:15
Story	Levy: a Toy Call-by-Push-Value Language Interesting... by Ohad Kammar Intriguing by Paul Snively The authors of Levy admitted by Denis Bredelet -jido Too dense? No comments? by Ehud Lamm	Ohad Kammar	2011-07-28 18:12
Story	Cakes, Custard, and Category Theory	Ohad Kammar	2015-07-17 16:47
Story	Inferring algebraic effects Headsup: Efficient handler compilation by Ohad Kammar No, in the usual cases, you by matijapretnar Even with 0 or 1 times... by Brandon Bloom Sorry about the lack of by matijapretnar It seems to me that the by Manuel J. Simoni What kind of overkill? by Brandon Bloom Continuations - overkill? by Manuel J. Simoni The Eff type checker lacks by Alex1	Ohad Kammar	2014-10-04 17:39
first page previous page next page last page