<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

On the semantics of polymorphism

Name: On the semantics of polymorphism
Creator: COPPO, Mario
Keywords: consistent types, correctness, complete, soundness theorem, Combinatory logic and lambda calculus, types, 0102 computer and information sciences, Curry's functionality theory, 0101 mathematics, 01 natural sciences

descriptionPublicationkeyboard_double_arrow_right Article 01 Nov 1983 Italy Publisher:Springer Science and Business Media LLCJournal:Acta Informatica, volume 20, pages 159-170 (issn: 0001-5903, eissn: 1432-0525,

Authors: COPPO, Mario;

doi: 10.1007/bf00289413

handle: 2318/114424

On the semantics of polymorphism

- Summary
- Subjects
- Metrics

Abstract

A semantic characterization is given of the terms of a simple applicative language which it can be assigned a (monomorphic or polymorphic) type. Moreover a strong completeness result is proved for a (nontrivial) subset of terms (corresponding to the normal forms of a lambda-calculus plus constants). Completeness does not hold in general.

Country

Italy

Related Organizations

University of Turin
Italy

Keywords

consistent types, correctness, complete, soundness theorem, Combinatory logic and lambda calculus, types, Curry's functionality theory

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	8
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 10%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Top 10%

Average

Fields of Science (3) View all

Fields of Science

Upload OA version

Are you the author? Do you have the OA version of this publication?

uploadUpload now!