Lambda the Ultimate

type	title	author	last post
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
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
Forum topic	Recursive Algorithms that cannot be expresses with Tail-Recursion? Not quite by cdiggins	Anon Adderlan	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	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	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
Forum topic	Universal Type System Now definitely tangential ... by cdiggins	Akhilesh Mritunjai	2007-11-24 18:01
Story	DivaScheme I agree: comments shouldn't be whitespace by cdiggins	Ehud Lamm	2007-09-19 08:46
Forum topic	Reconstructing Abstractions Much appreciated by cdiggins	cdiggins	2007-09-15 21:16
Story	Compositional type systems for stack-based low-level languages Thanks. by cdiggins Compositional type inference by cdiggins	cdiggins	2007-09-14 03:14
Story	From abstract interpretation to small-step typing Some confusion by cdiggins And the point is? by cdiggins Tracking Control Paths by cdiggins More Ideas by cdiggins But what about more general by cdiggins	Chung-chieh Shan	2007-07-25 02:34
Story	Thinking Forth & Starting Forth The big difference between by cdiggins	Luke Gorrie	2007-07-13 17:22
Forum topic	[ANN] YARD 1.0: C++ Template Metaprogramming Parsing Framework Very good point. by cdiggins Correction by cdiggins Questions answered by cdiggins Not so different by cdiggins Thanks by cdiggins YARD vs Spirit by cdiggins	cdiggins	2007-07-12 12:26
Forum topic	Forth in hardware ("not dead yet") Type inference FTW by cdiggins Thank you! by cdiggins Cat does address the types of the elements by cdiggins	raould	2007-07-10 18:20
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