Lambda the Ultimate

type	title	author	last post
Forum topic	Static Analysis for Duck Typing Go take a look at by cdiggins Where is the duck-typing? by cdiggins It is easy to pass by cdiggins You can in C++ by cdiggins	grom358	2008-05-03 22:13
Forum topic	On Presenting Operational Semantics Very helpful, thank you. by cdiggins Thanks by cdiggins	cdiggins	2008-04-25 21:57
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) Great Links by cdiggins That is indeed useful. I by cdiggins So if I understand you, by cdiggins An area for research by cdiggins Good point by cdiggins Isn't "reduce" another name for "fold" rather than "filter" by cdiggins	cdiggins	2008-04-22 17:11
Story	HMF: Simple type inference for first-class polymorphism	cdiggins	2008-04-22 15:06
Forum topic	Can local variables assignments be considered pure functional without monads? Inner Forall Polymorphism and Equirecursive Types by cdiggins Kevin Millikin's Cat Evaluator in ML by cdiggins Here you go by cdiggins Thanks for the example by cdiggins Moving Expressions by cdiggins Rewriting "process" using fold by cdiggins Oh, whoops by cdiggins Order unimportant by cdiggins This threading of the stack by cdiggins Labeling effects. by cdiggins ...	cdiggins	2008-04-14 12:55
Forum topic	Rewriting rules for deducing properties of functions Rippling is cool by cdiggins Great stuff by cdiggins "providing the compiler with by cdiggins Found the Pettorossi paper by cdiggins Thanks by cdiggins Undecidability not a big concern by cdiggins	cdiggins	2008-04-07 13:25
Story	Erasmus: A Modular Language for Concurrent Programming Is CML really that relevant? by cdiggins	cdiggins	2008-04-04 18:23
Forum topic	Rhope a dataflow-based language Rhope not Rhode by cdiggins	Denis Bredelet -jido	2008-03-27 02:24
Forum topic	Role of Types in Evaluation Strategy Thanks by cdiggins Thanks Anton, that is an by cdiggins Neat by cdiggins Figs? by cdiggins Law abiding citizens by cdiggins Thanks Derek by cdiggins	cdiggins	2008-03-22 12:39
Story	Applied Metamodelling: A Foundation for Language Driven Development Noted by cdiggins Seems fragile by cdiggins Not quite what I meant by cdiggins Great links by cdiggins	cdiggins	2008-03-20 21:35
Story	Help John Baez and Mike Stay! Hello Matt by cdiggins How about labelling it, and leaving it in the forum by cdiggins Question by cdiggins	Matt Hellige	2008-03-05 15:44
Forum topic	succinctness Brevity costs clarity by cdiggins Reading between the lines. by cdiggins Brevity and Clarity by cdiggins Reductio ad absurdum by cdiggins	Curtis W	2008-02-19 18:46
Forum topic	Recursive Algorithms that cannot be expresses with Tail-Recursion? Not quite by cdiggins	M. Douglas	2008-02-19 15:09
Forum topic	Languages and data conversions. Katahdin by cdiggins	David Ryan	2008-02-14 21:32
Forum topic	Signals in an OOPL Makes sense by cdiggins Great link by cdiggins "If it existed, it would by cdiggins Signals Handlers and State Machines by cdiggins I assume that in this by cdiggins AFAIK Signal handlers = asynchronous operations by cdiggins On Message Passing by cdiggins Semantics in xUML by cdiggins	cdiggins	2008-02-08 16:07
Story	Jumbala : An Action Language for UML State Machines Read my mind!!! by cdiggins	cdiggins	2008-02-06 23:10
Story	Prediction for 2008 Executable UML will go Mainstream by cdiggins	Ehud Lamm	2008-02-03 12:03
Story	Kermeta Programming Language	cdiggins	2008-02-03 06:55
Forum topic	Embedded concurrent FPish languages? Joy (or Cat) by cdiggins	raould	2008-01-31 19:51
Forum topic	VM's... What's the best? or C#, or VB, or managed C++, or L#, or ... by cdiggins	diegoeche	2008-01-30 11:52
Forum topic	MapReduce MapReduce in Cat (explanation and one-liner) by cdiggins	jaylac	2008-01-25 06:00
Forum topic	Compile-Time Execution in an Object Oriented Language Virgil looks very by cdiggins Why Tags? by cdiggins On Static by cdiggins Great links by cdiggins Adhoc Tags vs Adhoc Keywords by cdiggins	cdiggins	2008-01-22 21:31
Forum topic	expressivity of "idiomatic C++" I can't believe you that it i by cdiggins If you change all of the sy by cdiggins I guess you don't like Scheme by cdiggins Not convinced it is trivial by cdiggins Some more comments by cdiggins Space Complexity by cdiggins	el-vadimo	2007-12-28 14:25
Forum topic	functions, statements, expressions No named local functions in Cat by cdiggins Colloquial is all I got by cdiggins Good points by cdiggins My definition by cdiggins	Jason Dusek	2007-12-25 10:52
Story	Witnessing Side-Effects Isn't that counterproductive? by cdiggins More courtesy please. by cdiggins	neelk	2007-11-25 07:58
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