recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Orca chosen as default Syllable scripting language I fixed the orignal post. by Ehud Lamm a href="..." by dbfaken	obsidian	2006-05-23 15:39
Forum topic	Null, bottom, etc.? Nice. by Cyril It is not yet decided. But by hbrandl So you are saying one could by dmbarbour The ability to predict by Andreas Rossberg Of course it is dependent on by dmbarbour Of course it is by Andreas Rossberg the distinction between by dmbarbour Straw man by Andreas Rossberg What may have been part of by dmbarbour Your tracer is broken by Andreas Rossberg ...	oconnor0	2012-06-25 23:41
Forum topic	Learning math? notation by Anders Horn It's nothing terribly by Ray Dillinger notation by Anders Horn Another helpful suggestion by Scott Johnson and to mention an obvious point.... by Ray Dillinger This is a learning-style issue. by Ray Dillinger In that case, I just copy by Sean McDirmid I agree. I don't pronounce by Jason Grossman Why don't you just ask? by marco If so I suggest watching by Ehud Lamm ...	oconnor0	2012-09-27 07:12
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	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
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	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
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	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
first page previous page next page last page