Lambda the Ultimate

type	title	author	last post
Forum topic	The Unreasonable Effectiveness of C Often the not-as-bad C by Kay Schluehr	raould	2013-05-08 19:47
Forum topic	Import Systems The collapse of the universe by Kay Schluehr Wouldn't it suffice to by Kay Schluehr	Kay Schluehr	2013-01-14 15:05
Forum topic	STEPS 2011 Progress Report (personal computing in 20kLOC) Actually the precedence is by Kay Schluehr Yes, they say that (_) is a by Kay Schluehr	Greg Buchholz	2012-12-20 20:48
Forum topic	Are scalars "just" degenerate matrices? So what happens if we add a by Kay Schluehr	Douglas McClean	2012-09-22 21:38
Forum topic	Pythonect 0.4.1 Released Would it matter to you when by Kay Schluehr	ikotler	2012-09-06 19:09
Story	Parsing: The Solved Problem That Isn't Thanks. I haven't even by Kay Schluehr Local variation by Kay Schluehr Yes, if there was only one by Kay Schluehr Once you allow '.4' to be a by Kay Schluehr Ordering isn't a by Kay Schluehr In case of a PEG one might by Kay Schluehr When the two pass model is by Kay Schluehr	James Iry	2012-08-26 09:11
Forum topic	Quantitative comparison of unit testing vs. static typing? Methodologically it would by Kay Schluehr	lmeyerov	2012-06-22 02:59
Forum topic	Why Do Some Programming Languages Live and Others Die? The average programmer by Kay Schluehr Brain drain challenge by Kay Schluehr	Sean McDirmid	2012-06-18 23:33
Forum topic	Why and How People Use R Faster Horses by Kay Schluehr	Charles Torre	2012-05-14 20:31
Forum topic	Certified Programming with Dependent Types: home stretch! Me? I don't care either way. by Kay Schluehr Using the terms like Adam by Kay Schluehr There is exactly one by Kay Schluehr	Adam Chlipala	2012-04-22 22:31
Forum topic	Disruptive PLT Revisited Replacing for-loops by by Kay Schluehr	Sean McDirmid	2012-03-31 13:27
Forum topic	References about the importance of formalism in programming language design I suppose you mean that it by Kay Schluehr In the years I'm reading by Kay Schluehr To be fair, in process by Kay Schluehr Especially in science and by Kay Schluehr Shall we throw our model by Kay Schluehr	giuseppemag	2012-03-30 05:42
Forum topic	crazy PL idea: prescriptive trait inference I wonder if it would make by Kay Schluehr	Sean McDirmid	2012-03-26 23:20
Story	Social Processes and Proofs of Theorems and Programs Proving correctness for a by Kay Schluehr Maybe a possibly wrong by Kay Schluehr The Silver Bullet - how the werewolve survived by Kay Schluehr Reliability vs security ? by Kay Schluehr	Luke Gorrie	2012-03-19 13:02
Story	Pure and Declarative Syntax Definition: Paradise Lost and Regained, Onward 2010 Beautiful trees by Kay Schluehr	Z-Bo	2012-03-06 03:02
Story	A Concept Design for C++ I would put it this way: by Kay Schluehr	James Iry	2012-03-04 21:35
Story	When Formal Systems Kill: Computer Ethics and Formal Methods Non of your links works in by Kay Schluehr	James Iry	2012-02-29 23:02
Forum topic	PLT humor on Twitter PLT Žižek ‏ (Note to by Kay Schluehr	Manuel J. Simoni	2012-02-25 21:54
Forum topic	Syntax Desugaring Algorithm Question Traceback Patches by Kay Schluehr	bryanedds	2012-02-23 23:46
Forum topic	Embedding Prolog in Haskell There might be a certain by Kay Schluehr	Frank Atanassow	2012-02-13 17:04
Forum topic	Peak Abstraction Of course, smartassing is an by Kay Schluehr You are right, but those by Kay Schluehr Hm. There is, viewed in by Kay Schluehr Locke's definition can be by Kay Schluehr A while ago Jacques Carette by Kay Schluehr One way to reduce both by Kay Schluehr	Sean McDirmid	2012-02-06 17:19
Forum topic	Programmer Archeologists Going Low Level by Kay Schluehr As a fact of life no new by Kay Schluehr The reality of the vision by Kay Schluehr	Sean McDirmid	2012-01-06 16:48
Forum topic	iPhone PL lockdown "Dominance" and "empire", by Kay Schluehr Actually, on SmartCards it by Kay Schluehr Schadenfreude by Kay Schluehr	Sean McDirmid	2011-12-24 05:49
Forum topic	Xtend. Yet another "better Java" language; this time from Eclipse. Built with Xtext. no one is actually looking by Kay Schluehr	Kannan Goundan	2011-11-25 21:06
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman Ah, supporting valid by Kay Schluehr Sorry, I understood your by Kay Schluehr How did random search by Kay Schluehr Alternative proposal by Kay Schluehr Finding the maximum distance by Kay Schluehr Anyone who happens to know a by Kay Schluehr No No. NoNo. NoNoNo by Kay Schluehr People erroneously believe by Kay Schluehr Flexible machines by Kay Schluehr	puredanger	2011-11-19 23:37
first page previous page 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