recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
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	Idris2 is self-hosting Even more exciting, for some of us by Charles Stewart	Ohad Kammar	2020-06-10 06:49
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
Forum topic	Semantics: Logic vs. PL Calculus in Coinductive Form by Hank Thediek Historical/Conceptual perspective by Ehud Lamm Difference by Charles Stewart Two T's by Charles Stewart Second try by Charles Stewart Hiding Parts of the How by Ohad Kammar Some transition systems are more equal than others by Charles Stewart Step Size by Ohad Kammar The algebraic nature of by Ohad Kammar Algebraic nature of proof theory by Charles Stewart ...	Ohad Kammar	2009-06-27 14:17
Story	Handlers of Algebraic Effects Thanks by Charles Stewart Two answers by Ohad Kammar The spectrum of computational effects: two questions by Charles Stewart	Ohad Kammar	2010-07-07 08:17
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
Forum topic	DSLs and AOP Yes, but only in Korea by Dave Lopez just joking about the age thing by Olaf Conijn 14 year olds use Haskell, DSLs are neat. by shapr Haskell by Sjoerd Visscher	Olaf Conijn	2006-08-15 21:43
Forum topic	Metaprogramming and Free Availability of Sources JavaScript metaprogramming at run-time by oldaccount For C++ use Felix by skaller Do preprocessors count? by Josh Scholar	oldaccount	2016-06-01 20:52
Forum topic	...PHP language research Project page by L Spice _ by oldaccount try googling for by raould	oldaccount	2011-08-31 18:33
Forum topic	The broad ML Family workshop Program with abstracts by Oleg Programme by gasche The mailing lists are only by Sean McDirmid Sometimes I urge posting by Ehud Lamm I thought of submitting by marco why not both? by Chad Wellington Informed opinion(!) by Ehud Lamm We try to keep the frequency by Ehud Lamm It is completely proper to by Sean McDirmid	Oleg	2014-07-31 10:07
first page previous page next page last page