MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Associated type synonyms." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

unknown title
by Associated Type, Synonyms Manuel, M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones
… Associated Type Synonyms Manuel M. T. Chakravarty Gabriele Keller University of New South Wales…
Add To MetaCart

A Lightweight Approach to Datatype-Generic Rewriting
by Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
… with metavariables. We use Haskell, extended with associated type synonyms, to implement both type-indexed datatypes…
Add To MetaCart

Associated Types with Class
by Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow — 2005 — In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
…, while to get the effect of unidirectional functional dependencies, we also need associated type synonyms…
Cited by 41 (10 self) – Add To MetaCart

A Lightweight Approach to Datatype-Generic Rewriting
by Thomas Van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren — 2008
… Haskell, extended with associated type synonyms, to implement both type-indexed datatypes and generic…
Cited by 3 (3 self) – Add To MetaCart

ML modules and Haskell type classes: A constructive comparison
by Stefan Wehr — 2005 — Master’s thesis, Albert-Ludwigs-Universität Freiburg, Institut für Informatik
….3.2 Associated type synonyms . . . . . . . . . . . . . . . . . . . 38 3.3.3 Abstract associated type synonyms…
Cited by 7 (0 self) – Add To MetaCart

Towards Open Type Functions for Haskell
by Tom Schrijvers, Martin Sulzmann, Simon Peyton-jones
… the so-called “associated type synonyms” [5] by decoupling them from class declarations, thereby allowing…
Cited by 2 (2 self) – Add To MetaCart

Heuristics for type error discovery and recovery (revised
by Jurriaan Hage, Bastiaan Heeren — 2006 — Implementation of Functional Languages – IFL 2006, volume 4449, pages 199 – 216
…. In a type graph, we associate type synonym information with each vertex. Let τ be a type for which we…
Cited by 3 (3 self) – Add To MetaCart

Modular Type Classes
by Derek Dreyer, Robert Harper, Manuel M.T. Chakravarty
… associated type synonyms in Haskell [1] requires an additional mechanism called equality constraints in order…
Cited by 12 (7 self) – Add To MetaCart

Modular Type Classes
by Derek Dreyer Toyota, Derek Dreyer — 2006
… associated type synonyms in Haskell [1] requires an additional mechanism called equality constraints in order…
Add To MetaCart

Initial algebra semantics is enough
by Patricia Johann, Neil Ghani — 2007 — Proceedings, Typed Lambda Calculus and Applications
… preserves identities and composition. As is well known (12; 13; 23), every inductive type has an associated…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB