A semantics of object types, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.332-341, 1994. ,
DOI : 10.1109/LICS.1994.316056
A theory of objects, 1996. ,
DOI : 10.1007/978-1-4419-8598-9
Proving Properties of Programs by Structural Induction, The Computer Journal, vol.12, issue.1, pp.41-48, 1969. ,
DOI : 10.1093/comjnl/12.1.41
Programs and their proofs: an algebraic approach, Machine Intelligence, vol.4, pp.17-43, 1969. ,
Object-oriented programming versus abstract data types, Foundations of Object-Oriented Languages, pp.151-178, 1990. ,
Inheritance is not subtyping, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.125-135, 1990. ,
DOI : 10.1145/96709.96721
On the composition of programs for automatic computing, 1949. ,
Hierarchical program structures, Structured programming, pp.175-220, 1972. ,
SIMULA: an ALGOL-based simulation language, Communications of the ACM, vol.9, issue.9, pp.671-678, 1966. ,
DOI : 10.1145/365813.365819
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC, Journal of Logic and Computation, vol.25, issue.4, pp.1011-1046, 2015. ,
DOI : 10.1093/logcom/exs072
Programming Languages: Principles and Paradigms. Undergraduate Topics in Computer Science, 2010. ,
Some comments on data abstraction. Notes for a course at ETH Zurich, 1973. ,
Smalltalk-72 instruction manual, 1976. ,
The specification and application to programming of Abstract Data Types, 1975. ,
Record handling, ALGOL Bull, vol.21, pp.39-69, 1965. ,
Notes on data structuring, Structured programming, pp.83-174, 1972. ,
Proof of correctness of data representation, Acta Informatica, pp.271-281, 1972. ,
The formulae-as-types notion of construction, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pp.479-490, 1980. ,
Abstraction mechanisms in CLU, Communications of the ACM, vol.20, issue.8, pp.564-576, 1977. ,
DOI : 10.1145/359763.359789
Programming with abstract data types, Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages, pp.50-59, 1972. ,
Several types of types in programming languages. Paper presented at HAPOC 2015 ,
URL : https://hal.archives-ouvertes.fr/hal-01399694
A basis for a mathematical theory of computation, preliminary report, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference on, IRE-AIEE-ACM '61 (Western), pp.225-238, 1961. ,
DOI : 10.1145/1460690.1460715
A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978. ,
DOI : 10.1016/0022-0000(78)90014-4
Types are not sets, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '73, pp.120-124, 1973. ,
DOI : 10.1145/512927.512938
On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-58, 1972. ,
DOI : 10.1145/361598.361623
Preliminary report, Communications of the ACM, vol.1, issue.12, pp.8-22, 1958. ,
DOI : 10.1145/377924.594925
A Science of Operations. Machines, Logic and the Invention of Programming, 2011. ,
Objects of closures: Abstract semantics of object oriented languages, ACM Conference on Lisp and functional programming, 1988. ,
Towards a theory of type structure, Programming Symposium , Proceedings. Colloque sur la programmation, pp.408-423, 1974. ,
Algol W reference manual, 1972. ,