(theory) A mapping of the free variables of some expression E to types. This is used in type inference to deduce the type of E and its subexpressions.
Last updated: 2002-02-22
Better Than TripAdvisor
- Holiday destination reviews, hotel information,
pictures, sightseeing advice and food reviews.
Updated: Mon Aug 29 01:11:25 2016
No longer supported by Imperial College Department of Computing
Copyright Denis Howe 1985