recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Dependently-Typed Metaprogramming (in Agda) Friday afternoon! by johnwcowan Great set of notes by Matt M Oh right by Matt M C-style indexing by Jeremy Feedback by Matt M	Ohad Kammar	2013-08-30 16:24
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	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	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
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	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	...PHP language research Project page by L Spice _ by oldaccount try googling for by raould	oldaccount	2011-08-31 18:33
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
first page previous page next page last page