Typing dynamic typing (2002)

Cached


Other Repositories/Bibliography

  • DBLP
  • by Arthur I. Baars , S. Doaitse Swierstra
    Venue:ICFP ’02: Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming
    Citations:57 - 1 self

    Documents Related by Co-Citation

    74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
    129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
    102 Phantom Types – James Cheney, Ralf Hinze - 2003
    159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
    219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
    29 From fast exponentiation to square matrices: an adventure in types – C Okasaki - 1999
    31 Type-Safe Cast: Functional Pearl – Stephanie Weirich - 2000
    153 Type classes with functional dependencies – Mark P. Jones - 2000
    48 Wobbly types: type inference for generalised algebraic data types – Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich - 2004
    37 Stratified type inference for generalized algebraic data types – Ois Pottier Yann R'egis-gianas - 2006
    290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
    20 and Emir Pasalic. Meta-programming with builtin type equality – Tim Sheard - 2004
    85 Pattern matching with dependent types – Thierry Coquand - 1992
    702 Types and programming languages – Benjamin C Pierce - 2002
    33 Fun with phantom types – R Hinze - 2003
    126 Domain Specific Embedded Compilers – Daan Leijen, Erik Meijer - 1999
    151 The view from the left – Conor McBride, James McKinna
    69 Languages of the Future – Tim Sheard - 2004
    696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993