Lambda the Ultimate

type	title	author	last post
Forum topic	Conversion of 'functional' to 'imperative' algorithms: is it possible? Sort of by Dave Griffith	Achilleas Margaritis	2017-03-31 19:14
Forum topic	What is Intuitive? Yes, but with qualifications by Dave Griffith A simple and cynical definition... by Dave Griffith	raould	2016-05-12 23:55
Forum topic	From Programming Language Design (PLD) to Programmer Experience Design (PXD) Not the editor by Dave Griffith	Sean McDirmid	2015-05-20 12:15
Forum topic	Minimal implementation of state machines Kolmogorov complexity by Dave Griffith	giuseppemag	2014-02-01 05:12
Forum topic	A glimpse into a new general purpose programming language under development at Microsoft Mono by Dave Griffith	Charles Torre	2014-01-27 05:08
Forum topic	Less is more. "I know how the machine works very well" by Dave Griffith	Rys McCusker	2014-01-19 13:05
Forum topic	xkcd: Functional Recursion? In 2013? Really? by Dave Griffith	Sean McDirmid	2013-11-05 20:23
Forum topic	Cost of provably-correct code It's also worth noting... by Dave Griffith	Ehud Lamm	2013-07-06 19:56
Forum topic	Minimally typed programs? Kolmogorov and Curry-Howard by Dave Griffith	Mihai Christodorescu	2012-11-12 13:48
Forum topic	Let's fix spreadsheets Prior work by Dave Griffith	Robbert van Dalen	2012-11-03 12:23
Story	On Understanding Data Abstraction, Revisited Startup vs. ongoing performance hit by Dave Griffith	Z-Bo	2012-06-28 01:36
Forum topic	Higher order versus Object order Apologies by Dave Griffith OO, open recursion, and auto-complete by Dave Griffith	Francis McCabe	2012-05-17 17:45
Forum topic	An Accidental Simula User, Luca Cardelli The second thing by Dave Griffith Wow by Dave Griffith	Isaac Gouy	2011-09-15 12:44
Story	Rob Pike: Public Static Void And even at that, it's probably too strong... by Dave Griffith I don't see why... by Dave Griffith	Ehud Lamm	2011-07-10 18:36
Story	Good Ideas, Through the Looking Glass Also by Dave Griffith Limiting the size of the trusted base by Dave Griffith JavaOS by Dave Griffith	Ehud Lamm	2011-01-15 17:04
Story	Guido: Language Design Is Not Just Solving Puzzles For an ADL in an implementation language... by Dave Griffith Architecture description as a programming language feature by Dave Griffith And some more... by Dave Griffith Love the analogies... by Dave Griffith Cathedrals by Dave Griffith Experience casts doubt on by Dave Griffith Some things really aren't relative by Dave Griffith Note the use of I/me in your reply by Dave Griffith An interface to what? by Dave Griffith	Ehud Lamm	2011-01-05 17:06
Forum topic	Type systems for structured languages Intermediate states needed by Dave Griffith	Sean McDirmid	2010-12-29 00:36
Story	The Fortress Language Spec v0.618 Sort of, but not quite by Dave Griffith	Dave Herman	2010-12-13 04:24
Forum topic	Dependency injection via parameterized types (?!) The trick to think about DI... by Dave Griffith Because someone has to by Dave Griffith	Manuel J. Simoni	2010-09-08 08:40
Forum topic	Theoretical Computer Science StackExchange Beta now open Missing the point of StackExchange, a bit by Dave Griffith Moderation by Dave Griffith	S. Clover	2010-08-30 20:58
Story	Type Classes as Objects and Implicits Development effort by Dave Griffith	Paul Snively	2010-08-26 06:09
Forum topic	new kid on the block: fun4j is a new fp project for the Java VM Don't mean to discourage you... by Dave Griffith	ThomasMahler	2010-08-25 21:15
Forum topic	Mod sys with external binding of mods to mod sigs, where all mod imports must be sigs only Benefits by Dave Griffith	scottmcl	2010-08-19 12:33
Forum topic	some critiques of the Semat initiative Process as a domain of engineering discourse by Dave Griffith	el-vadimo	2010-06-16 09:30
Forum topic	SEC interested in formalising contracts ... in Python Nearly in agreement by Dave Griffith Advantages of a DSL to the buyer by Dave Griffith Guido by Dave Griffith This problem will most likely fix itself... by Dave Griffith By subcontracting by Dave Griffith Business idea by Dave Griffith	Noel	2010-05-06 12:56
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