recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Story	Selective Functors better bases for Selective by dmbarbour	Z-Bo	2019-03-05 18:39
Forum topic	Self Taught Computer Science Why Mathematics by harry Its not cheating by harry Logic by markt oh... and do you have a link? by Chris Rathman I cheated on SICP by Chris Rathman Computer Science Education by harry Appel by Gergely Buday Getting started by Chris Rathman	harry	2008-12-15 17:12
Forum topic	Self-assembling Type-directed Dataflows ok by raould every connection by Keean Schupke pattern matching nothing new, news at 11 by raould Prolog Again by Keean Schupke eyeball scale by dmbarbour not just composing by raould Fine-grained types by dmbarbour yeah, sounds like dataflow tuple-spaces by Rys McCusker how does this work in practice? by raould Linda by johnwcowan ...	raould	2014-06-04 18:13
Forum topic	Self-Certification: Bootstrapping Certified Typecheckers	dmbarbour	2012-02-23 18:23
Story	Self-Representation in Girard’s System U Looks nice by marco Not "add eval as a builtin" by Matt M Self-interpretation for Agda by Blaisorblade Looks like the opposite to me by marco Meta system is on pages 51-92 of HAL ActorScript article by Hewitt Yah. That's what the other by marco Type semantics of ActorScript are in the meta system by Hewitt I haven't found the type by marco Does ActorScript already have a typed self-interpreter? by Hewitt Poe's law by Bruce J. Bell ...	naasking	2015-06-18 22:53
Story	Self-Reproducing Programs in Common Lisp Quines by Andrew Moss Parable ending by ctdean	Luke Gorrie	2006-12-08 13:55
Story	Self.congratulate It's a great forum by Jason Grossman Those would all be nice, but by neelk ponies by Sean McDirmid The single biggest improvement... by neelk It might be useful to have by Denis Bredelet -jido Forum discussions by Andrew Moss Having been a lurker on this by Jan Rehders The C64 turned thirty by marco Well. by marco I've been here too long by marco ...	Ehud Lamm	2012-08-06 10:41
Forum topic	Selfish reference begging Mitchell by Frank Atanassow	kilrati	2005-10-20 06:36
Forum topic	SelfType and MyType From my experience and hazy by Sean McDirmid Possibly this... by Dave Griffith	Mokua Richard	2010-01-03 00:34
Forum topic	Semanitcs in the real world?	Ehud Lamm	2009-07-28 21:48
first page previous page next page last page