Search results
- * Robin Green ([http://twitter.com/greenrd greenrd]) ...5 KB (603 words) - 06:39, 23 September 2011
- * Robin Green (greenrd) * Robin Green has prepared [http://secure.ucd.ie/~greenrd/talk/ah.pdf a talk] about simulating '''dependent types''' in Haskell, and ...7 KB (1,086 words) - 11:03, 20 July 2011
- 53.306 -6.220 "greenrd" # Robin Green ...11 KB (1,031 words) - 06:16, 8 June 2023