Lambda the Ultimate

type	title	author	last post
Forum topic	Definition of Type Denial of the antecedent? by Kannan Goundan	cdiggins	2004-12-09 11:42
Forum topic	Design By Contract in C Static DbC is typechecking, Unit tests are black-box by Kannan Goundan	Jillis ter Hove	2004-11-05 15:29
Story	More from Udell on typing There's also a sorta-useful distinction by Kannan Goundan	Ehud Lamm	2004-09-20 22:50
Story	Well, that's one way of doing it... Builtin "Maybe" types by Kannan Goundan	Ehud Lamm	2004-08-19 09:18
Forum topic	Having trouble with 'purity' Correct, it's just a value. by Kannan Goundan Depends on your evaluation model. by Kannan Goundan	mjstahl	2004-07-26 06:39
Forum topic	Slashdot: "Favourite Programming Language Features?" Guess... by Kannan Goundan	Wolfgang Meyer	2004-07-10 06:35
Story	In the Spirit of C "D" can infer template types? by Kannan Goundan	Ehud Lamm	2004-06-24 22:25
first page previous page

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation