Parametricity for Haskell with Imprecise Error Semantics
暂无分享,去创建一个
[1] Patricia Johann,et al. Selective strictness and parametricity in structural operational semantics, inequationally , 2007, Theor. Comput. Sci..
[2] Na Xu. Static contract checking for Haskell , 2009, POPL '09.
[3] Simon Peyton Jones,et al. Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell , 2005 .
[4] Andrew M. Pitts,et al. Parametric polymorphism and operational equivalence , 2000, Mathematical Structures in Computer Science.
[5] Simon L. Peyton Jones,et al. Imprecise Exceptions, Co-Inductively , 1999, Electron. Notes Theor. Comput. Sci..
[6] Patricia Johann,et al. Free theorems in the presence of seq , 2004, POPL.
[7] John C. Reynolds,et al. Types, Abstraction and Parametric Polymorphism , 1983, IFIP Congress.
[8] Andrzej Filinski,et al. Inductive reasoning about effectful data types , 2007, ICFP '07.
[9] Simon L. Peyton Jones,et al. A semantics for imprecise exceptions , 1999, PLDI '99.
[10] Patricia Johann,et al. A family of syntactic logical relations for the semantics of Haskell-like languages , 2009, Inf. Comput..
[11] Joyce L. Vedral,et al. Functional Programming Languages and Computer Architecture , 1989, Lecture Notes in Computer Science.
[12] Philip Wadler,et al. Theorems for free! , 1989, FPCA.