Search results

Jump to: navigation, search
  • 53.306 -6.220 "greenrd" # Robin Green
    11 KB (1,026 words) - 05:06, 9 March 2016
  • * 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
  • * Robin Green ([http://twitter.com/greenrd greenrd])
    5 KB (603 words) - 06:39, 23 September 2011