Lambda the Ultimate

type	title	author	last post
Forum topic	New for Python 2.5 P.E. is pretty tricky to do properly* ... by Daniel Slaney	Ewan	2006-01-21 10:15
Forum topic	Conjunction types Citeseer by Daniel Slaney	jimdesu	2005-12-05 16:21
Forum topic	Curry/Howard and Disjunction	Daniel Slaney	2005-11-02 16:48
Forum topic	Looking for FP Debuggers Pffft by Daniel Slaney	raould	2005-10-03 19:14
Forum topic	Good languages with simple grammar Tcl by Daniel Slaney	Tim Sweeney	2005-09-28 08:09
Story	RPC Under Fire That is too true for comfort. by Daniel Slaney	Ehud Lamm	2005-09-23 16:58
Forum topic	Functional multi-method programming language Efficiency by Daniel Slaney	Matt OConnor	2005-09-21 08:59
Forum topic	Haskell and creative freedom Here, here... by Daniel Slaney	Nathan Sobo	2005-09-16 00:08
Forum topic	Combining Theorem Proving and Programming Yes, that one. by Daniel Slaney Noether's theorem by Daniel Slaney	carter	2005-09-09 22:32
Story	Should Computer Science Get Rid of Protocols? Information != Data by Daniel Slaney	Klaus Ostermann	2005-08-25 10:11
Forum topic	Objective scientific proof of OOP's validity? Don't need no stinkun' proof. Sea, Islands by Daniel Slaney	Riaan Moll	2005-08-21 18:49
Forum topic	Larger Subroutines == Fewer Defects Mental Limits? by Daniel Slaney	Greg Buchholz	2005-08-18 07:34
Forum topic	simpler representation of operational semantics? Derivatives of Regular Types = The Type of One Hole Contexts by Daniel Slaney	shahbaz	2005-08-16 03:37
Story	In Search of the Ideal Programming Language Not always so by Daniel Slaney	Mark Evans	2005-07-05 12:15
Story	Why Dependent Types Matter The paper you link to is the by Daniel Slaney Constructive Type Theory, Laziness and Relevant Implication by Daniel Slaney	Ehud Lamm	2005-07-05 08:34
Story	The Four Questions Resources by Daniel Slaney	Dave Herman	2005-07-05 07:19
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