PolyP—a polytypic programming language extension

@inproceedings{Jansson1997PolyPaPP,
  title={PolyP—a polytypic programming language extension},
  author={Patrik Jansson and Johan Jeuring},
  booktitle={POPL '97},
  year={1997}
}
  • Patrik Jansson, Johan Jeuring
  • Published in POPL '97 1997
  • Computer Science
  • Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, debuggers, equality functions, unifiers, pattern matchers, rewriting functions, etc. Such functions are called polytypic functions. A polytypic function is a function that is defined by induction on the structure of user… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 222 CITATIONS

    Datatype-Generic Programming

    VIEW 6 EXCERPTS
    CITES METHODS & BACKGROUND

    Exploring generic Haskell

    VIEW 6 EXCERPTS
    CITES METHODS
    HIGHLY INFLUENCED

    True sums of products

    VIEW 6 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    A cosmology of datatypes : reusability and dependent types

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Bidirectional data transformation by calculation

    VIEW 19 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Generic programming with indexed functors

    VIEW 5 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Generic programming in 3D

    VIEW 10 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    1997
    2018

    CITATION STATISTICS

    • 29 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-4 OF 4 REFERENCES

    Quali ed Types: Theory and Practice

    • Mark P. Jones
    • 1994
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    Quali ed Types: Theory and Practice

    • Mark P. Jones
    • 1994
    VIEW 6 EXCERPTS
    HIGHLY INFLUENTIAL

    Polynomial polymorphism

    • C. Barry Jay
    • Proceedings of the Eighteenth Australasian Computer Science Conference, pages 237{243,
    • 1995
    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL