A language for generic programming in the large
DOI10.1016/J.SCICO.2008.09.009zbMATH Open1217.68050OpenAlexW2063477581MaRDI QIDQ532409FDOQ532409
Authors: Jeremy G. Siek, Andrew Lumsdaine 
Publication date: 4 May 2011
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2008.09.009
Recommendations
- An extended comparative study of language support for generic programming
- Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11--12, 2002, Dagstuhl, Germany
- Recursive and dynamic structures in generic programming
- Alternative generic libraries
- Dependency-style generic Haskell
polymorphismfunctorssignaturesassociated typesgeneric programminggenericsprogramming language designreusable software librariessoftware reusetype classesvirtual types
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- A theory of type polymorphism in programming
- Title not available (Why is that?)
- A note on two problems in connexion with graphs
- On a routing problem
- Efficient Algorithms for Shortest Paths in Sparse Networks
- Variations on the Common Subexpression Problem
- Title not available (Why is that?)
- Fast Decision Procedures Based on Congruence Closure
- On sentences which are true of direct unions of algebras
- Types and programing languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Abstraction mechanisms in CLU
- Polymorphic type inference and containment
- ML F
- The subtyping problem for second-order types is undecidable.
- Associated type synonyms
- Modular type classes
- Practical type inference for arbitrary-rank types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Qualified Types
- Associated types with class
- An extended comparative study of language support for generic programming
- Region-based memory management
Cited In (9)
- An extended comparative study of language support for generic programming
- Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11--12, 2002, Dagstuhl, Germany
- Alternative generic libraries
- Title not available (Why is that?)
- Declarative foreign function binding through generic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Recursive and dynamic structures in generic programming
- A model inference system for generic specification with application to code sharing
Uses Software
This page was built for publication: A language for generic programming in the large
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q532409)
