A language for generic programming in the large

DOI10.1016/J.SCICO.2008.09.009MaRDI QIDQ532409zbMATHOpenAlexFDO

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

zbMATH Keywords

polymorphismfunctorssignaturesassociated typesgeneric programminggenericsprogramming language designreusable software librariessoftware reusetype classesvirtual types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

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

Cites work

• scientific article; zbMATH DE number 1728245 (Why is no real title available?)
• scientific article; zbMATH DE number 3485174 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 2031016 (Why is no real title available?)
• scientific article; zbMATH DE number 1538013 (Why is no real title available?)
• scientific article; zbMATH DE number 3280051 (Why is no real title available?)
• A note on two problems in connexion with graphs
• A theory of type polymorphism in programming
• Abstraction mechanisms in CLU
• An extended comparative study of language support for generic programming
• Associated type synonyms
• Associated types with class
• Efficient Algorithms for Shortest Paths in Sparse Networks
• Fast Decision Procedures Based on Congruence Closure
• ML ^F
• Modular type classes
• On a routing problem
• On sentences which are true of direct unions of algebras
• Polymorphic type inference and containment
• Practical type inference for arbitrary-rank types
• Qualified Types
• Region-based memory management
• The subtyping problem for second-order types is undecidable.
• Types and programing languages
• Variations on the Common Subexpression Problem

Cited in

(9)

• Generic programming. IFIP TC2/WG2.1. Working conference on generic programming, July 11--12, 2002, Dagstuhl, Germany
• scientific article; zbMATH DE number 1670508 (Why is no real title available?)
• scientific article; zbMATH DE number 2084369 (Why is no real title available?)
• An extended comparative study of language support for generic programming
• Recursive and dynamic structures in generic programming
• A model inference system for generic specification with application to code sharing
• scientific article; zbMATH DE number 3881852 (Why is no real title available?)
• Declarative foreign function binding through generic programming
• Alternative generic libraries

Describes a project that uses

Uses Software

• CGAL
• ML
• BETA
• Haskell
• Boost C++ Libraries
• Scala
• ALPS
• Boost
• Cyclone
• 2D triangulations
• STL
• Traits
• PolyTOIL
• BGL
• Quicksort
• gbeta

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)