recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Late Robin Milner Sad news by Martin Watson Biography by bashyal Not the first stop by Marc Hamann Bigraphs - Tantalizing. by John Carter Indeed by Allan McInnes Sad day indeed, RIP Robin by markt Interview with Robin Milner by James Iry The Passing of a Giant by Marc Hamann	Ohad Kammar	2010-04-14 17:43
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	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
Forum topic	Fixed-Point Induction I was aiming for fixed-point induction... by Ohad Kammar a sketch = by Albert Y.C. Lai	Ohad Kammar	2006-09-16 16:38
Forum topic	Effectful Code Transformations Analysis is Insufficient by dmbarbour Apologies by Ohad Kammar Hardly a comprehensive list by dmbarbour Mind the Gap? by Ohad Kammar Code Transformations for Effectful Code by dmbarbour	Ohad Kammar	2010-03-23 05:25
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
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
first page previous page next page last page