of Simon Peyton-Jones

Articles in journal, book chapters

  1. Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, and Peter J. Stuckey. Understanding functional dependencies via Constraint Handling Rules. J. Functional Prog., 17(1):83-129, 2007. [doi:10.1017/S0956796806006137] Keyword(s): type systems.

Conference articles

  1. Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, and Martin Sulzmann. Sound and Decidable Type Inference for Functional Dependencies. In D. A. Schmidt, editor, ESOP '04: Proc. 13th European Symp. on Programming, volume 2986 of LNCS, pages 49-63, mar/apr 2004. SV. Keyword(s): type systems.