We present a typical synergy between dynamic types (dynamics) and generalised algebraic datatypes (GADTs). The former provides a clean approach to ...

We present a typical synergy between dynamic types (dy- namics) and generalised algebraic datatypes (GADTs). The former pro- vides a clean approach to ...

In this paper we discuss a typical synergy between two concepts: dynamic types. (dynamics) and generalised algebraic datatypes (GADTs). Types play an ...

PDF | We present a typical synergy between dynamic types (dynamics) and generalised algebraic datatypes (GADTs). The former provides a clean approach to.

We present a typical synergy between dynamic types (dynamics) and generalised algebraic datatypes ... A Typical Synergy - Dynamic Types and Generalised Algebraic ...

Abstract: We present a typical synergy between dynamic types (dynamics) and generalised algebraic datatypes (GADTs). The former provides a clean approach to ...

Bibliographic details on A Typical Synergy - Dynamic Types and Generalised Algebraic Datatypes.

Dynamic types provide a clean approach to ... These are modeled using generalised algebraic datatypes which capture additional type information, leading to ...

http://www.st.cs.ru.nl/papers/2010/noot10-IFL09-a-typical-synergy.pdf > (A Typical Synergy: Dynamic Types and Generalised Algebraic Datatypes) > > I think ...

This paper investigates what it takes for a functional language to embed polymorphic dynamic typing in Haskell and explores an embedding in Haskell using ...