Lambda the Ultimate

type	title	author	last post
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-05-24 14:39
Forum topic	Why and How People Use R Faster Horses by Kay Schluehr	Charles Torre	2012-05-14 20:31
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-04-29 04:38
Forum topic	Quantitative comparison of unit testing vs. static typing? Methodologically it would by Kay Schluehr	lmeyerov	2012-04-26 21:34
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	Foundations of Inference When you take a look at some by Kay Schluehr Commuters by Kay Schluehr Foundations of mathematics by Kay Schluehr The fact that you can by Kay Schluehr	Paul Snively	2012-03-17 16:47
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
Story	Deca, an LtU-friendly bare metal systems programming language Spark Ada cares for not by Kay Schluehr I do have to admit, the by Kay Schluehr New programming languages by Kay Schluehr A great fraction of systems by Kay Schluehr LLVM by Kay Schluehr	Anton van Straaten	2012-01-23 10:21
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
Story	ActorScript(TM): Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing various symbols are used by Kay Schluehr	Andris Birkmanis	2011-11-26 19:06
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
Story	What needs to be done? What needs to be done by Kay Schluehr	Ehud Lamm	2011-11-07 05:29
Story	Dennis Ritchie passed away O.K. we are now thankful to by Kay Schluehr Macros by Kay Schluehr At least it crashed by Kay Schluehr	Ehud Lamm	2011-10-29 02:45
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