@Article{         Haddad,
  Author        = "Haddad, Axel",
  Abstract      = "We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the same as those obtained using unrestricted derivations. Given that higher-order recursion schemes can be used as a model of functional programs, innermost-outermost derivations policy represents a theoretical view point of call by value evaluation strategy.",
  date-added    = "2013-03-27 12:54:26 +0000",
  date-modified = "2013-03-27 13:11:12 +0000",
  EPrint        = "1202.3498",
  Keywords      = "higher-order recursion schemes and lambda calculus models",
  Month         = "02",
  Title         = "IO vs OI in Higher-Order Recursion Schemes",
  URL           = "http://arxiv.org/abs/1202.3498",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1202.3498",
  File          = "IO vs OI in Higher-Order Recursion Schemes - Haddad (0) (0) - a - a - l.pdf",
  file-2        = "IO vs OI in Higher-Order Recursion Schemes - Haddad (1) (0) - a - a - l.pdf"
}

@Article{ Haddad, Author = "Haddad, Axel", Abstract = "We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the same as those obtained using unrestricted derivations. Given that higher-order recursion schemes can be used as a model of functional programs, innermost-outermost derivations policy represents a theoretical view point of call by value evaluation strategy.", date-added = "2013-03-27 12:54:26 +0000", date-modified = "2013-03-27 13:11:12 +0000", EPrint = "1202.3498", Keywords = "higher-order recursion schemes and lambda calculus models", Month = "02", Title = "IO vs OI in Higher-Order Recursion Schemes", URL = "http://arxiv.org/abs/1202.3498", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1202.3498", File = "IO vs OI in Higher-Order Recursion Schemes - Haddad (0) (0) - a - a - l.pdf", file-2 = "IO vs OI in Higher-Order Recursion Schemes - Haddad (1) (0) - a - a - l.pdf" }