recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	modus_ponens, a library to develop inference engines.	Enrique Perez Arnaud	2020-05-18 19:41
Forum topic	Owl: A parser generator for visibly pushdown languages.	helltone	2020-05-02 08:21
Story	Applications of Blockchain to Programming Language Theory Thanks, fare by Z-Bo The intersection of Game Theory and Game Semantics by François-René Rideau Block chains and PL by dmbarbour Cargo cult computer science by israelrt	Z-Bo	2020-04-23 14:47
Forum topic	IEEE Scheme expiring soon Object system by Tommi Höynälänmaa PLT by John Shutt Necromancy... by Matt M re first JIT by dmbarbour Actually, Scheme/CL style eval is useful by johnwcowan The first JIT compiler that by johnwcowan More to the point... by Ray Dillinger Right. by Ray Dillinger afaik by Josh Scholar "Uncode is badly designed" by Bakul Shah ...	johnwcowan	2020-04-14 07:48
Forum topic	Functional Constructors in Theme-D	Tommi Höynälänmaa	2020-03-08 17:08
Forum topic	Various desired forms of reasonableness Typefulness by John Shutt	raould	2020-02-07 15:53
Forum topic	Stepanov and McJones: Elements of Programming A lovely book by Ben Karel Free Elements of Programming PDF now available by Paul McJones Book website by thomash There's an interview with by bashyal	Tom Duff	2020-01-15 00:50
Forum topic	The Way-Too-Early announce: Ecstasy Updates by cpurdy Article by cpurdy Interesting! by cpurdy Re: "virtual children" by Tess Foley what parts of the language by cpurdy Congratulations by Matt M	cpurdy	2019-11-11 13:37
Story	Tensor Considered Harmful Improv > Excel, D > SQL by johnwcowan Is not this a by mamcx abstraction by Srikumar Subramanian Misnomer? by Srikumar Subramanian Synchronicity w/ The Morning Paper by bryane dimensions and units by John Shutt	Z-Bo	2019-11-09 02:27
Forum topic	Bjarne Stroustrup interview on Youtube.	Ray Dillinger	2019-11-08 23:32
first page previous page next page last page