Search Results - "Cardone, Felice"

On the Interpretation of Denotational Semantics.

Authors: Cardone, Felice¹ (AUTHOR)

Source: Philosophies. Jun2025, Vol. 10 Issue 3, p54-N.PAG. 18p.

Tiered Objects.

Authors: Alessi, Fabio Cardone, Felice

Source: Fundamenta Informaticae; 2016, Vol. 149 Issue 3, p263-295, 33p

On Giving Meanings to Programs.

Authors: Cardone, Felice¹, felice.cardone@unito.it

Source: Axiomathes: Global Philosophy; Feb2023, Vol. 33 Issue 1, p1-22, 22p

Continuity in Semantic Theories of Programming.

Authors: Cardone, Felice¹ (AUTHOR) felice.cardone@unito.it

Source: History & Philosophy of Logic. Aug2015, Vol. 36 Issue 3, p242-261. 20p.

From Curry to Haskell: Paths to Abstraction in Programming Languages.

Authors: Cardone, Felice¹ (AUTHOR) felice.cardone@unito.it

Source: Philosophy & Technology. Mar2021, Vol. 34 Issue 1, p57-74. 18p.

Subject Terms: *Mathematical logic, Programming languages, Curries

A coinductive completeness proof for the equivalence of recursive types

Authors: Cardone, Felice¹ cardone@disco.unimib.it

Source: Theoretical Computer Science. Mar2002, Vol. 275 Issue 1/2, p575. 13p.

Subjects: Computer programming, Electronic data processing

Benjamin C. Pierce (ed.)Advanced Topics in Types and Programming Languages. The MIT Press (2005) ISBN 0-262-16228-8. 39.95. 574 pp. Hardbound.

Authors: Cardone, Felice¹

Source: Computer Journal. 2006, Vol. 49 Issue 1, p130-131. 2p.

Subjects: Advanced Topics in Types & Programming Languages (Book), Pierce, Benjamin, Programming languages, Nonfiction