Lambda the Ultimate

type	title	author	last post
Forum topic	Languages with 'unique' programs Almost by John Shutt	dataangel	2012-05-23 19:59
Forum topic	Proofs as programs It's been a few years since by John Shutt The connection with by John Shutt First- and second-class-ness by John Shutt First- vs second-class proof by John Shutt	hbrandl	2012-05-21 20:33
Story	Decomposing lambda - the Kernel language There's lots more stuff by John Shutt	Anton van Straaten	2012-04-30 15:31
Forum topic	Quantitative comparison of unit testing vs. static typing? I also was puzzled by the by John Shutt ultimately static languages by John Shutt The most valuable reuse is by John Shutt	lmeyerov	2012-04-26 21:34
Forum topic	Coding at the Speed of Touch This seems closely related by John Shutt	Sean McDirmid	2012-03-27 18:25
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness Morris Kline by John Shutt	Hewitt	2012-03-05 22:15
Story	Why Concatenative Programming Matters Any PL that attracted by John Shutt	James Iry	2012-03-04 05:05
Story	The Algebra of Data, and the Calculus of Mutation Excellent by John Shutt	Manuel J. Simoni	2012-02-15 00:19
Forum topic	Active Variables in Common Lisp Reflection by John Shutt	kruhft	2012-02-08 18:02
Forum topic	Peak Abstraction One does tend to think of it by John Shutt PL design strategy — and sarcasm by John Shutt Depth by John Shutt Fwiw, that's actually not my by John Shutt I see two interesting issues by John Shutt pretty much, yeah by John Shutt No shortage of problem here by John Shutt Alternatively by John Shutt Abstraction-poor language features by John Shutt	Sean McDirmid	2012-02-06 17:19
Forum topic	Go's proposed panic/recover exception-like mechanism admissibility; ambiguity resolution by John Shutt It is unclear to me what by John Shutt The harder part of course is by John Shutt Structured syntax extension? by John Shutt	pgregory	2012-01-07 01:57
Forum topic	Programmer Archeologists That you think there's an by John Shutt The whole animal by John Shutt This seems (knock wood) to be by John Shutt On my agenda is a blog post by John Shutt "Time" is, by nature, by John Shutt Hm. Perhaps I'm not following by John Shutt It seems to me that your by John Shutt You can't safely conclude by John Shutt I've repeatedly pointed out by John Shutt entirely different dimension by John Shutt ...	Sean McDirmid	2012-01-06 16:48
Forum topic	2 Misconcepts About Functional Programming (relating to context and monad) The trouble with monads by John Shutt	Henry Luo	2011-12-25 09:35
Forum topic	General purpose as a special case? The link I should have by John Shutt Use of 'paradigm' has by John Shutt I don't mean to detract from by John Shutt	Wendell	2011-12-18 04:04
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman lessons from evolution by John Shutt	puredanger	2011-11-19 23:37
Forum topic	math proofs are more robust than computer proofs Programs and proofs differ by John Shutt	raould	2011-11-18 20:27
Story	What needs to be done? I can just picture by John Shutt 'Much uglier than macros and by John Shutt Stupidity requires immense intelligance by John Shutt Agreed, most naive by John Shutt As an undergrad in the by John Shutt I've long suspected AOP was by John Shutt	Ehud Lamm	2011-11-07 05:29
Story	Call-by-Name, Call-by Value and the Lambda Calculus So T = S should imply QT = QS by John Shutt If one can't get CR-ness, by John Shutt The first work to break ground by John Shutt	Ehud Lamm	2011-10-09 00:17
Story	the gnu extension language To compare expressive power, by John Shutt Your uses of the word rigid by John Shutt Abstractive Power of Programming Languages: Formal Definition by John Shutt I'm reminded that my ideas by John Shutt Somewhere in Thomas Kuhn's by John Shutt Constraints by John Shutt Fexprs aren't the evil by John Shutt If you just said Kernel is by John Shutt	Manuel J. Simoni	2011-09-14 22:16
Forum topic	"Partially evaluating" fexprs? Appendix B of by John Shutt Lambda calculus by John Shutt	Manuel J. Simoni	2011-09-06 16:40
Forum topic	quite "old" books discussion About twenty years ago, my by John Shutt	Sebastian	2011-09-01 12:10
Forum topic	Create Your Own Programming Language (book) Lessons learned? by John Shutt	Manuel J. Simoni	2011-08-23 14:45
Forum topic	Fexprs as the basis of Lisp function application; or, $vau: the ultimate abstraction three "special forms" and some primitive applicatives by John Shutt counting Kernel "special forms" by John Shutt fluent operative handling by John Shutt	Marc Coram	2011-08-11 16:42
Forum topic	The Last Language? John Shutt would like to by John Shutt I tend to agree that by John Shutt barely scratched the surface by John Shutt	Dominic Fox	2011-07-20 14:51
Forum topic	Parallel bars when we envision how by John Shutt	Andy Wingo	2011-07-18 23:51
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