Search results

Jump to navigation Jump to search
  • * 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