Associated type synonyms

Authors:
Manuel M. T. Chakravarty;Gabriele Keller;Simon Peyton Jones
Affiliations:
University of New South Wales;University of New South Wales;Microsoft Research Ltd., Cambridge, UK
Venue:
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Year:
2005

Citing 20
Cited 64

Term rewriting systems

Handbook of logic in computer science (vol. 2)
Simplifying and improving qualified types

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Type classes in Haskell

ACM Transactions on Programming Languages and Systems (TOPLAS)
Type inference with constrained types

Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
A simple applicative language: mini-ML

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Functional logic overloading

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type classes with more higher-order polymorphism

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Guarded recursive datatype constructors

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for higher-order modules

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Template meta-programming for Haskell

ACM SIGPLAN Notices
A Theory of Qualified Types

ESOP '92 Proceedings of the 4th European Symposium on Programming
A comparative study of language support for generic programming

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Formatting: a class act

Journal of Functional Programming
A static semantics for Haskell

Journal of Functional Programming
Functional unparsing

Journal of Functional Programming
Strongly typed heterogeneous collections

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Languages of the future

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Essential language support for generic programming

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
A theory of overloading

ACM Transactions on Programming Languages and Systems (TOPLAS)

Associated types and constraint propagation for mainstream object-oriented generics

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Specifying C++ concepts

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algorithm specialization in generic programming: challenges of constrained generics in C++

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Extracting programs from type class proofs

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Strongly typed memory areas programming systems-level data structures in a functional language

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell
Concepts: linguistic support for generic programming in C++

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Software extension and integration with type classes

Proceedings of the 5th international conference on Generative programming and component engineering
Modular type classes

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
System F with type equality coercions

TLDI '07 Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation
Understanding functional dependencies via constraint handling rules

Journal of Functional Programming
An extended comparative study of language support for generic programming

Journal of Functional Programming
A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Data parallel Haskell: a status report

Proceedings of the 2007 workshop on Declarative aspects of multicore programming
Language-Based Program Verification via Expressive Types

Electronic Notes in Theoretical Computer Science (ENTCS)
Library composition and adaptation using c++ concepts

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Type checking with open type functions

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
A lightweight approach to datatype-generic rewriting

Proceedings of the ACM SIGPLAN workshop on Generic programming
A comparison of c++ concepts and haskell type classes

Proceedings of the ACM SIGPLAN workshop on Generic programming
Positively dependent types

Proceedings of the 3rd workshop on Programming languages meets program verification
ML Modules and Haskell Type Classes: A Constructive Comparison

APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
A Haskell Hosted DSL for Writing Transformation Systems

DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Beautiful differentiation

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Attribute grammars fly first-class: how to do aspect oriented programming in Haskell

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Type-safe observable sharing in Haskell

Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
JavaGI in the battlefield: practical experience with generalized interfaces

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Arity-generic datatype-generic programming

Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Let should not be generalized

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
Programming with C++ concepts

Science of Computer Programming
A tutorial on parallel and concurrent programming in Haskell

AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Regular, shape-polymorphic, parallel arrays in Haskell

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Type classes as objects and implicits

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Morphing: Structurally shaping a class by reflecting on others

ACM Transactions on Programming Languages and Systems (TOPLAS)
Generic programming with c++ concepts and haskell type classes: A comparison

Journal of Functional Programming
A lightweight approach to datatype-generic rewriting

Journal of Functional Programming
Accelerating Haskell array codes with multicore GPUs

Proceedings of the sixth workshop on Declarative aspects of multicore programming
Generative type abstraction and type-level computation

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introducing Kansas lava

IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
A semantics for lazy assertions

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Algebraic Specialization of Generic Functions for Recursive Types

Electronic Notes in Theoretical Computer Science (ENTCS)
A language for generic programming in the large

Science of Computer Programming
Transformation of structure-shy programs with application to XPath queries and strategic functions

Science of Computer Programming
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance

ACM Transactions on Programming Languages and Systems (TOPLAS)
How to make ad hoc proof automation less ad hoc

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Deriving an efficient FPGA implementation of a low density parity check forward error corrector

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Types and type families for hardware simulation and synthesis: the internals and externals of Kansas Lava

TFP'10 Proceedings of the 11th international conference on Trends in functional programming
A framework for extended algebraic data types

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Outsidein(x) modular type inference with local assumptions

Journal of Functional Programming - Dedicated to ICFP 2009
Language requirements for large-scale generic libraries

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Haskell type constraints unleashed

FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
The implicit calculus: a new foundation for generic programming

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Vectorisation avoidance

Proceedings of the 2012 Haskell Symposium
Dependently typed programming with singletons

Proceedings of the 2012 Haskell Symposium
Equality proofs and deferred type errors: a compiler pearl

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Sneaking around concatMap: efficient combinators for dynamic programming

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
The c++0x "concepts" effort

SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Generic programming with dependent types

SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
JavaGI: generalized interfaces for java

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Just do it while compiling!: fast extensible records in haskell

PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
System FC with explicit kind equality

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
The constrained-monad problem

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Histo- and dynamorphisms revisited

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Closed type families with overlapping equations

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Haskell programmers often use a multi-parameter type class in which one or more type parameters are functionally dependent on the first. Although such functional dependencies have proved quite popular in practice, they express the programmer's intent somewhat indirectly. Developing earlier work on associated data types, we propose to add functionally dependent types as type synonyms to type-class bodies. These associated type synonyms constitute an interesting new alternative to explicit functional dependencies.