Lambda the Ultimate

type	title	author	last post
Forum topic	Joe Duffy on Concurrency, Parallelism Hyperlink can't be by Cyril	raould	2011-06-13 22:47
Story	Specification and Verification: The Spec# Experience Good question by Cyril	Allan McInnes	2011-06-10 04:46
Forum topic	Open wiki-like code repository Well, ok... by Cyril Maybe explore "convergence" schemes? by Cyril Interesting challenge such a scenario would be for a PL I guess by Cyril	Sean McDirmid	2011-05-30 19:19
Forum topic	Javascript x86 interpreter runs Linux in a browser. Definitely. Progress brought by Cyril	Kent Hofling	2011-05-21 02:15
Forum topic	Generative Grammar-based Computation Thank you for the explanation by Cyril I can understand this by Cyril Constraint programming by Cyril If that helps, too by Cyril But anyway: this being said, by Cyril FWIW by Cyril	dmbarbour	2011-05-08 06:50
Forum topic	Compiler framework, insight? Very interesting by Cyril	Alexander Morou	2011-04-20 22:57
Forum topic	Dan Vanderboom's Archetype language	Cyril	2011-03-10 07:56
Forum topic	What is computation? Concurrency versus Turing's Model Just sharing by Cyril	Hewitt	2011-02-22 13:52
Forum topic	Tolerant vs. Demanding Software I've read that post of yours by Cyril	kclancy	2010-12-30 04:44
Forum topic	The Myths of Object-Orientation Yes, amusing by Cyril Indeed, on the myths by Cyril	el-vadimo	2010-12-21 17:28
Forum topic	yacc death revisited AFAIC, +1. I have no by Cyril	Thomas Lord	2010-12-21 06:06
Forum topic	Lambda the Ultimate seems an Overstatement (not) +1 on this by Cyril	Ed Earl Ross	2010-12-13 19:44
Forum topic	Embarrassed Well, I've reached the point by Cyril Just thought I should by Cyril Thanks for sharing your by Cyril Just for the record, I'm by Cyril Sadly, I don't have Coq or by Cyril	Cyril	2010-12-07 08:11
Forum topic	What makes a good book on a language? I found the "in a nutshell" by Cyril	spdegabrielle	2010-12-01 21:36
Forum topic	New Dataflow Programming Language LOL by Cyril	ad1mt	2010-11-30 01:24
Story	The Triumph of Types: Principia Mathematica's Impact on Computer Science Very nice :) by Cyril	Ehud Lamm	2010-11-27 19:28
Forum topic	Clojure's Solutions to the Expression Problem I'd bet on the same by Cyril (Other useful links) by Cyril Tangentially, too by Cyril	fogus	2010-11-27 07:21
Forum topic	A Self-Checking Type System I agree with this advice by Cyril If you want mutability, by Cyril Yes, to have studied/used it by Cyril Thanks for the by Cyril Still more interesting than today's average, IMHO (re: tuples) by Cyril This is also my intuition by Cyril This is what triggered my by Cyril By the way, I know, kind of by Cyril Also, I surely agree with by Cyril The blog post is short on by Cyril ...	munificent	2010-11-24 02:36
Forum topic	when does debugability break down? Indeed, we "pretty much" are by Cyril	raould	2010-11-10 07:52
Forum topic	Design Principles Behind Smalltalk Oh yes, one final note about by Cyril [...]The difficulty is by Cyril Thanks for sharing your by Cyril Ha, interesting ongoing by Cyril By the way... by Cyril	el-vadimo	2010-11-09 17:15
Forum topic	yet another paradigm Well, yes, I surely agree by Cyril I confess I looked for a April 1st somewhere, too by Cyril	raould	2010-11-06 22:41
Forum topic	The barrier to take-up of language innovation [...]but also include pre by Cyril +1, Agreed. I doubt by Cyril Pfft. How come you don't by Cyril I mostly second this, and by Cyril Yes, I largely second this. by Cyril Well, then I'd say the by Cyril OOP has at least one by Cyril	ad1mt	2010-11-06 03:26
Forum topic	another new language, Chomsky hierarchy Type-0 Well, It seems a trivial by Cyril Well, not only I can believe by Cyril If it helps, and if by by Cyril	Ed Earl Ross	2010-11-04 06:56
Forum topic	Looking for pointers: mixfix error recovery (Other experience report) by Cyril	shap	2010-10-24 03:09
Forum topic	A functional-programming view of time This being said... I must by Cyril You've pointed it out by Cyril	Bakul Shah	2010-10-16 02:14
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