Lambda the Ultimate

type	title	author	last post
Forum topic	The Type of a Recursive Combinator Good idea by cdiggins	cdiggins	2006-11-10 03:10
Forum topic	The Type of 42 Good idea by cdiggins (int int)->(int) by cdiggins Not all programs can be by cdiggins Sorry ... by cdiggins	cdiggins	2006-10-27 19:09
Forum topic	Cat Version 0.9	cdiggins	2006-10-27 06:04
Forum topic	On Publishing	cdiggins	2006-10-17 16:41
Forum topic	Designing a Programming Textbook Great Points by cdiggins To be fair ... by cdiggins	cdiggins	2006-10-02 19:26
Forum topic	SSA + Type Inference = "Compile time" dynamic typing, "runtime" static typing? Unsolvable? by cdiggins	Logan Capaldo	2006-09-25 16:45
Forum topic	Small Value Set Types The link was broken but I by cdiggins	cdiggins	2006-09-06 02:05
Forum topic	Constant Values as Types Dependent Types by cdiggins Thanks Tim, this makes a lot by cdiggins Overambitious Type Systems by cdiggins	cdiggins	2006-09-04 10:29
Forum topic	Multi-Stage Languages I will have to take a look by cdiggins In these scenarios by cdiggins Purity Trashing by cdiggins Perhaps I am naive by cdiggins	cdiggins	2006-09-01 19:59
Forum topic	The whole Enchilada Something related? by cdiggins	Robbert van Dalen	2006-08-28 09:11
Forum topic	On Mixing Static Typing, Dynamic Typing and Values	cdiggins	2006-08-10 02:34
Forum topic	Overloading : Why do some languages leave it out? Whoah, take a deep breath. by cdiggins That has relatively little by cdiggins Thanks for pointing that out by cdiggins Thanks for the detailed response! by cdiggins Overloaded based on type ... by cdiggins	cdiggins	2006-08-08 21:28
Forum topic	Cat Programming Language: Slides from Lang. NET 2006 No destructive semantics. by cdiggins Good catch, thank you! So by cdiggins I haven't yet explored the by cdiggins Sorry about that, I get my by cdiggins Yes the compiler would catch by cdiggins	cdiggins	2006-08-08 07:47
Forum topic	The Killer Application for Concatenative Languages I'm impressed! That is quite by cdiggins Fusion Optimizations by cdiggins This is very well put. I by cdiggins	John Carter	2006-08-07 19:33
Forum topic	Expressing the Type of a While Loop Thanks for bringing this up. by cdiggins I haven't yet ... by cdiggins	cdiggins	2006-08-06 20:39
Forum topic	Cat version 0.2	cdiggins	2006-06-17 21:39
Forum topic	Cat Language Download, Sources, and Introduction Good catch. My EBNF is not by cdiggins	cdiggins	2006-05-30 18:47
Forum topic	The Cat Programming Language I gave you one by cdiggins Optimization opportunities and type systems by cdiggins Optimization Scenarios and Typechecking by cdiggins I am unfamiliar with by cdiggins Interesting Idea by cdiggins	cdiggins	2006-05-18 16:17
Forum topic	Designing a Type Notation for a Stack Based Functional Language That looks quite cool, good by cdiggins I might be missing something important ... by cdiggins Implementation inference by cdiggins Good point! by cdiggins	cdiggins	2006-05-12 20:02
Forum topic	Optimization - Symmetric Reductions	cdiggins	2006-05-11 04:08
Forum topic	Parameteric Polymorphism from a C++ Perspective (good or bad?)	cdiggins	2006-05-10 20:57
Forum topic	Filter-Reduce Optimization Great Links by cdiggins	cdiggins	2006-05-02 16:16
Forum topic	Contract Verification and Structural Subtyping of Interfaces Naming versus Contracts by cdiggins	cdiggins	2006-03-13 16:59
Forum topic	Signature Based Polymorphism, Structural Subtyping and Duck Typing A huge disadvantage for the by cdiggins Thanks for the detailed response by cdiggins but then one would have to by cdiggins Okay I'll bite by cdiggins Given the value of some by cdiggins I don't follow by cdiggins What about structural subtyping? by cdiggins	cdiggins	2006-03-02 16:04
Forum topic	Concatenation Operators in Unimperative Obvious. by cdiggins	cdiggins	2006-02-16 05:27
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