Search results

Jump to navigation Jump to search

  • File:Introduction to Computation cover.jpg
    ...Logic and Automata by Don Sannella, Michael Fourman, Haoran Peng and Phil Wadler.
    (891 × 1,280 (131 KB)) - 13:27, 28 March 2024
  • File:The Expression problem Solved untill 2008.png
    In 2008 Dan Popa have solved The Expression Problem defined 10 year ago by P.Wadler using the new notion of Pseudoconstructors. Picture of a modular evaluator
    (642 × 325 (98 KB)) - 08:02, 3 June 2009
  • File:Paper-v5.sxw
    ...of Monad -> Monad -> ...Monad specification in contrast with the papers [Wadler P. (1992-1995)] . Let's note the idea and definition of pseudoconstructors
    (328 KB) - 08:40, 10 January 2009
Retrieved from "https://wiki.haskell.org/Special:Search"