DavidA

type	title	author	last post
Story	Using Hackage to Inform Language Design What I wanted overlapping instances for ... by DavidA Use with care by DavidA	bashyal	2010-10-26 15:40
Forum topic	Course in mathematical logic with applications to computer science Proof theory? by DavidA	L Spice	2009-10-19 07:01
Story	GÃ¶del, Nagel, minds and machines Doesn't Godel's theorem also apply to intuitionistic logic? by DavidA	Ehud Lamm	2007-11-22 08:09
Forum topic	Why is there not a PL with a mathematical type system? Calculus is the approximation, not vice versa by DavidA	gueven	2007-04-25 14:14
Forum topic	Overloading : Why do some languages leave it out? Is anything going to be done about it? by DavidA Cutting up mathematical space by DavidA In defence of mathematicians by DavidA Regarding Haskell type classes by DavidA	cdiggins	2006-08-08 21:28
Forum topic	Why only 'minimal' languages Because it's easier to change libraries than languages by DavidA	Karsten Wagner	2006-06-19 15:33

Lambda the Ultimate