Lambda the Ultimate

type	title	author	last post
Forum topic	A Functional Representation of Data Structures with a Hole (1998) continuations improve correct compilers by Dave	Vladimir Slepnev	2017-12-01 12:08
Story	Fully Abstract Compilation via Universal Embedding does full abstraction imply segmentation? by Dave	naasking	2016-08-04 09:26
Forum topic	Branch Forward Only pedantry by Dave	Greg Buchholz	2016-07-29 20:58
Forum topic	Alice, Bob, and Penthesilea: mutually suspicious code and data owners Tar(1)s and Tymes Forever by Dave	johnwcowan	2016-07-29 14:27
Story	Seemingly impossible programs Anyone other than Scott & by Dave	Ohad Kammar	2015-04-18 02:15
Forum topic	managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps choice and consequence by Dave Goguen, Cardelli, etc. by Dave	Rys McCusker	2015-01-10 00:45
Forum topic	How can be a interpreter faster than C (aka: kdb+) Rotation by Dave OJ Dahl by Dave COW wrangling by Dave according to Mac Lane by Dave	mamcx	2014-12-31 14:26
Forum topic	Code Completion for Generic Programming multum in parvo by Dave defining X in terms of fold by Dave confused by Dave	Keean Schupke	2014-11-24 17:37
Forum topic	A duality between exceptions and states - Dumas, Duval, Fousse, Reynaud duality by Dave	chrisoliver	2014-11-10 17:57
Forum topic	Opposing Hierarchies of Complexity yet another pigeonhole by Dave	Keean Schupke	2014-11-05 22:20
Story	Conservation laws for free! mea culpa by Dave tiger, tiger, for-all bright... by Dave cool by Dave	Ohad Kammar	2014-10-29 16:28
Forum topic	Concatenative Language Kont Monads: concatenative by definition (mod binding?) by Dave	Chris	2014-10-22 09:15
Forum topic	Optimisation by repeated beta- and eta-reduction Hagino on canonicity by Dave	L Spice	2014-09-22 01:00
Forum topic	Patent on "safe" transitive immutability for object types — prior art? Double Yes by Dave	Blaisorblade	2014-09-11 18:18
Forum topic	out of memory resource-obliviousness by Dave	Rys McCusker	2014-08-17 09:54
Forum topic	wither formal methods? whence formal methods? by Dave	raould	2014-07-22 10:22
Forum topic	The year that was: 1965. A recent look at KR decomposition by Dave decomposition by Dave Backhouse98 by Dave my ultrastable regulator is full of eels by Dave interesting / useful theorems by Dave	Hank Thediek	2014-07-19 13:10
Story	Propositions as Types typed calculus = (untyped calculus, logic) by Dave maybe I'm misreading Simmons by Dave typed calculus = (untyped calculus, logic) by Dave The conclusion has an almost by Dave	Manuel J. Simoni	2014-03-19 07:14
Forum topic	The Evolution of CS Papers A concrete example: by Dave logic vs rhetoric by Dave	Sean McDirmid	2014-03-11 14:09
Forum topic	Resilient Languages chickens and eggs by Dave	spdegabrielle	2014-03-11 00:57
Story	Wirth Symposium With lower barriers, more users become producers by Dave Is It Worth the Time? by Dave crisis, schmisis? by Dave	Luke Gorrie	2014-03-04 20:32
Story	The Role of Composition in Computer Programming playing by the rules by Dave	James Hague	2010-02-19 01:25
Forum topic	more power and less verbiage less verbiage? by Dave	el-vadimo	2010-01-11 21:02
Story	Why a diagram is (sometimes) worth ten thousand words diagramming as indexing? by Dave	Ehud Lamm	2009-06-18 20:33
Forum topic	What do you believe about Programming Languages (that you can't prove (yet))? semicoroutines by Dave	John Carter	2009-05-23 23:23
next page last page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation