Concepedia

Indexed types

Christoph Zenger

Theoretical Computer Science · 1997 · 66 citations · 10 references

DOI

References

10

A theory of type polymorphism in programming

Robin Milner · Journal of Computer and System Sciences · 1978 · 2.2K citations · Full text

, , +11

Deforestation: transforming programs to eliminate trees

Philip Wadler · Theoretical Computer Science · 1990 · 707 citations

, , +12

Abstract types have existential type

John C. Mitchell, Gordon Plotkin · ACM Transactions on Programming Languages and Systems · 1988 · 432 citations · Full text

, , +14

Introduction to functional programming

Paul A. Bailes · Science of Computer Programming · 1989 · 282 citations

, , +10

A polymorphic type system for prolog

Alan Mycroft, Richard O’Keefe · Artificial Intelligence · 1984 · 262 citations

, , +11