## The Essence of Principal Typings (2002)

### Cached

### Download Links

- [www.macs.hw.ac.uk]
- [www.macs.hw.ac.uk]
- [www.macs.hw.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
J. B. Wells

Venue: | In Proc. 29th Int’l Coll. Automata, Languages, and Programming, volume 2380 of LNCS |

Citations: | 86 - 12 self |

### BibTeX

@INPROCEEDINGS{Wells02theessence,

author = {J. B. Wells},

title = {The Essence of Principal Typings},

booktitle = {In Proc. 29th Int’l Coll. Automata, Languages, and Programming, volume 2380 of LNCS},

year = {2002},

pages = {913--925},

publisher = {Springer-Verlag}

}

### Years of Citing Articles

### OpenURL

### Abstract

Let S be some type system. A typing in S for a typable term M is the collection of all of the information other than M which appears in the final judgement of a proof derivation showing that M is typable. For example, suppose there is a derivation in S ending with the judgement A M : # meaning that M has result type # when assuming the types of free variables are given by A. Then (A, #) is a typing for M .