Open AccessInvestigating Extension Polymorphism
Author(s) -
Richard Connor,
Dharini Balasubramaniam,
Ron Morrison
Publication year - 1995
Publication title -
electronic workshops in computing
Language(s) - Uncategorized
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/dbpl1995.7
Subject(s) - soundness , computer science , programming language , extension (predicate logic) , abstraction , intuition , generic programming , type theory , functional programming , abstract data type , theoretical computer science , type (biology) , cognitive science , psychology , ecology , philosophy , epistemology , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom