Lambda the Ultimate

type	title	author	last post
Story	The Verse Calculus: a Core Calculus for Functional Logic Programming Also see the slide deck by cdiggins	cdiggins	2024-01-11 00:12
Story	Platonic C# - Managing Referential Transparency through Unique Types So in the proposed by cdiggins Great point. by cdiggins Thanks by cdiggins Any other similar approaches? by cdiggins	cdiggins	2023-04-05 14:26
Forum topic	LinearLisp: a proof of concept in full linearization for AST-walking interpreters [Deleted] Double posted. by cdiggins Okay, I think I get it by cdiggins What is "full linearization for AST-Walking interpreters" by cdiggins	Cyril	2023-03-10 07:59
Forum topic	The Heron Programming Language	cdiggins	2018-04-27 04:46
Forum topic	SK Calculus not Consider SeKsy? I wonder by cdiggins Funny that you should ask. by cdiggins As someone else said in by cdiggins Intentionally in the forums. by cdiggins Whoops! by cdiggins	cdiggins	2017-06-10 16:33
Forum topic	Living it up with a Live Programming Language If the language isn't simple by cdiggins A live language supports by cdiggins	Sean McDirmid	2017-06-10 16:27
Forum topic	MCG: A Visual Functional Programming Language Sum Types by cdiggins Thanks Sean by cdiggins Thanks Marco! There is a by cdiggins	cdiggins	2015-11-02 19:34
Forum topic	Those pesky higher-rank types. Or how to type \f x y. (f x, f y) Thank you for your contribution by cdiggins	marco	2014-05-26 17:22
Forum topic	Parsing expression grammar In the interest of making this useful by cdiggins	MohamedIBrahim	2014-03-07 14:05
Forum topic	Syntax for reification of types Thanks for sharing by cdiggins > Does your language have by cdiggins Good questions by cdiggins	cdiggins	2014-03-04 19:20
Forum topic	Cost of provably-correct code bullfeathers? by cdiggins	Ehud Lamm	2013-07-06 19:56
Forum topic	What will programming look like in 2020? I stand by it. by cdiggins C++ to C# by cdiggins	Sean McDirmid	2013-03-01 03:45
Forum topic	Language Implementation 101 Learning to implement languages in C# by cdiggins	qznc	2012-08-09 07:37
Forum topic	Go's proposed panic/recover exception-like mechanism Excellent point by cdiggins Great summary by cdiggins Suggested alternatives? by cdiggins I second this very strongly. by cdiggins	pgregory	2012-01-07 01:57
Forum topic	Language/Compiler design blogs? Me too by cdiggins	Azh	2011-10-04 09:20
Forum topic	SECD Machine - RAP? Great answer, thank you very by cdiggins	cdiggins	2011-10-03 12:00
Forum topic	An Accidental Simula User, Luca Cardelli Warning: Shameless plugs by cdiggins	Isaac Gouy	2011-09-15 12:44
Forum topic	Implementor's guide/tutorial to delimited continuations? Be happy Oleg is posting! by cdiggins	Manuel J. Simoni	2011-08-02 18:56
Forum topic	Continuations that store the heap? You would need a global by cdiggins Why not distributed computing? by cdiggins First class stores by cdiggins thanks by cdiggins	cdiggins	2011-03-25 04:47
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	2010-11-10 22:56
Forum topic	Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus) Loops allow tree definitions by cdiggins	Greg Buchholz	2010-10-22 21:48
Forum topic	Unifying Actors and Objects? More context by cdiggins Active Objects by cdiggins	Shrutarshi Basu	2010-09-15 01:04
Forum topic	Interpreter to compiler generator? Shameless plug by cdiggins	pdf23ds	2010-06-12 15:53
Story	Capabilities for External Uniqueness Cool work by cdiggins	James Iry	2010-05-14 19:30
Forum topic	Operator precedence Ten is nothing. by cdiggins	andrewzboard	2010-01-27 16:21
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