Find link

language:

Find link is a tool written by Edward Betts.

searching for Logic for Computable Functions 2 found (10 total)

alternate case: logic for Computable Functions

Parametric polymorphism (2,104 words) [view diff] exact match in snippet view article find links to article

universal quantification. Milner, R., Morris, L., Newey, M. "A Logic for Computable Functions with reflexive and polymorphic types", Proc. Conference on Proving

Generic programming (7,737 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-387-79422-8. Milner, R.; Morris, L.; Newey, M. (1975). "A Logic for Computable Functions with Reflexive and Polymorphic Types". Proceedings of the Conference