Lambda the Ultimate

type	title	author	last post
Forum topic	Modeling and Typing Combinatory Calculus I can't immediately see a by cdiggins	cdiggins	2006-12-22 21:01
Story	[Redux] The Polyadic pi-Calculus: a Tutorial (1991) Robin Milner Fine. I will refrain from by cdiggins I've just done that. Perhaps by cdiggins	cdiggins	2006-12-14 05:12
Story	YubNub for Programming Language Research [Offtopic] Names and Urls by cdiggins Please accept my apologies! by cdiggins For the record I have by cdiggins Unfortunately, it seems that by cdiggins	cdiggins	2006-12-12 04:47
Forum topic	The Cat Language Kind System Good catch by cdiggins Great idea by cdiggins Before that by cdiggins Ok, I revisited your rules by cdiggins Thanks for the tips by cdiggins Pain points? by cdiggins Good catch! by cdiggins	cdiggins	2006-12-11 07:11
Story	[Redux] A Syntactic Approach to Type Soundness (1992) In the future I will do so, by cdiggins Done. by cdiggins	cdiggins	2006-12-08 14:52
Forum topic	C++ has indeed become too "expert friendly" Ignoring the C++ and O'Caml by cdiggins	Isaac Gouy	2006-12-07 14:01
Forum topic	How to write a Programming Language Paper? I suspect Cat by cdiggins You got it. by cdiggins I'll give it my old college by cdiggins Good advice by cdiggins Good links by cdiggins Thanks for your suggestion by cdiggins	cdiggins	2006-12-05 09:21
Forum topic	if Records - Labels = Tuples then Rows - Labels = what? IMO it's better to provide by cdiggins Gaster and Jones by cdiggins	cdiggins	2006-12-04 01:57
Forum topic	Type Difference Thank you very much for by cdiggins Great stuff! by cdiggins This rule is wrong. You by cdiggins The problem restated. by cdiggins The generalized concept by cdiggins What about concatenation? by cdiggins Good point by cdiggins Undefined or empty by cdiggins	cdiggins	2006-11-19 10:07
Forum topic	Want to learn something new Shameless plug .. but maybe meritorious. by cdiggins	pureza	2006-11-12 19:49
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
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