A heterogeneous collection is a datatype that is capable of storing data of different types,
while providing operations for look-up, update, iteration, and others. There are various kinds …

Many functions have to be written over and over again for different datatypes, either because
datatypes change during the development of programs, or because functions with similar …

Many compilers do some of their work by means of correctness-preserving, and hopefully
performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) …

Many compilers do some of their work by means of correctness-preserving, and hopefully
performance-improving, program transformations. The Glasgow Haskell Compiler (GHC) …

The motivation of this work is to provide a type-theoretical basis for developing a practical
polymorphic programming language with labeled records and labeled variants. Our goal is …

The'Scrap your boilerplate'approach to generic programming allows the programmer to write
generic functions that can traverse arbitrary data structures, and yet have type-specific …

This paper presents FABLE, a core formalism for a programming language in which
programmers may specify security policies and reason that these policies are properly …

It has been nearly twenty years since Robin Milner introduced ML as the metalanguage of
the LCF interactive theorem prover [5]. His elegant use of abstract types to ensure validity of …

Carnegie Mellon Rice University Carnegie Mellon jgmorris@ cs. cmu. edu matthias@ cs.
rice. edu rwh@ cs. emu. edu Most specifications of garbage collectors concentrate on the …

Certified code is a general mechanism for enforcing security properties. In this paradigm,
untrusted mobile code carries annotations that allow a host to verify its trustworthiness …