Lambda the Ultimate

type	title	author	last post
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
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
Forum topic	Forum Topics and Story One of the paradoxical by Kay Schluehr The 'golden years' of LtU by Kay Schluehr	Henry Luo	2011-09-24 17:53
Story	Yacc is dead How is this approach more by Kay Schluehr	James Iry	2011-08-10 17:06
Forum topic	Why is tail call optimization an issue in GC'd languages? The stack trace issue can be by Kay Schluehr	Sriram Srinivasan	2011-08-02 09:20
Forum topic	Literate Programming: Retrospect and Prospects Code can't explain who by Kay Schluehr	el-vadimo	2011-07-20 21:10
Forum topic	The Last Language? That is, we maintain by Kay Schluehr ... and Muhammed is his prophet by Kay Schluehr	Dominic Fox	2011-07-20 14:51
Story	Rob Pike: Public Static Void It's important to keep in by Kay Schluehr	Ehud Lamm	2011-07-10 18:36
Forum topic	Yet another programming language with customizable syntax In the COBOL days of by Kay Schluehr	Lavir the Whiolet	2011-06-24 09:03
Forum topic	Generative Grammar-based Computation GE by Kay Schluehr GP by Kay Schluehr Now since you have shown us by Kay Schluehr If restricted to CFGs, you by Kay Schluehr About TokenTracers by Kay Schluehr	dmbarbour	2011-05-08 06:50
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