Search results

Jump to: navigation, search
  • File:RodinV08-xmax-exe-surse.zip
    ...ems. From the lazy evaluation, from the semantics, from the GHC , from the semantics implementation ? ? Anyway, please do not try to use a ”pentru” (en. for
    (337 KB) - 23:42, 10 October 2008
  • File:Paper-v5.sxw
    ...f the programmer. A new vision of monadic semantics is now introduced. The semantics is not a function:interp :: Term -> Environment -> Monad but more likely a
    (328 KB) - 08:40, 10 January 2009