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:58 - 1 self

    Documents Related by Co-Citation

    74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
    131 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
    158 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
    105 Phantom Types – James Cheney, Ralf Hinze - 2003
    721 Types and programming languages – Benjamin C Pierce - 2002
    702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
    944 A theory of type polymorphism in programming – Robin Milner - 1978
    1318 Monads for functional programming – Philip Wadler - 1995
    595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998