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

    Active Bibliography

    74 A Lightweight Implementation of Generics and Dynamics – James Cheney, Ralf Hinze - 2002
    11 Programming With Types – Stephanie Claudene Weirich - 2002
    2 Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language – Thomas Noort, Peter Achten, Rinus Plasmeijer
    43 Encoding types in ML-like languages – Zhe Yang - 1998
    2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
    19 Sharing in Typed Module Assembly Language – Dominic Duggan - 2000
    Languages – Dominic Duggan
    19 Type-Safe Linking with Recursive DLLs and Shared Libraries – Dominic Duggan - 2001
    4 GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications – Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen Van Weelden - 2005
    4 Automatic Generation of Editors for Higher-Order Data Structures – P. Achten, M. Van Eekelen, R. Plasmeijer, A. van Weelden, Peter Achten, Marko Van Eekelen, Rinus Plasmeijer, Arjen Van Weelden - 2004
    6 A Design for Type-Directed Programming in Java – Stephanie Weirich, Liang Huang - 2004
    6 A functional shell that dynamically combines compiled code – Arjen Van Weelden, Rinus Plasmeijer - 2003
    A Typical Synergy Dynamic Types and Generalised Algebraic Datatypes – Thomas Van Noort, Peter Achten, Rinus Plasmeijer
    Yet Another Generic Haskell – Ralf Lämmel, Joost Visser
    Interpretational Overhead in system software – Boris Feigin - 2011
    11 MetaKlaim: A Type Safe Multi-stage Language for Global Computing – Gianluigi Ferrari, Eugenio Moggi, Rosario Pugliese
    102 Phantom Types – James Cheney, Ralf Hinze - 2003
    3 Type-Secure Meta-Programming – Christopher Bentley Dornan - 1998
    Abstractions for Component-Based Programming with Dynamic Linking – Dominic Duggan - 2001