Type theory and programming (original) (raw)
Related papers
On the Development of Correct Specified Programs
IEEE Transactions on Software Engineering, 2000
Programming for All: Understanding the Nature of Programs
ArXiv, 2021
Software Engineering, 2015
Programming with Specifications
1990
Software: Practice and Experience, 1983
Programming in a wide spectrum language: a collection of examples
Science of Computer Programming, 1981
Comparative Studies of Programming Languages, COMP6411 Lecture Notes, Revision 1.4
2010
Principles of Programming Languages
2018
Definitive principles and the specification of software
Artificial Intelligence, 1974
1980
Problematic features of programming languages: a situational-calculus approach
Acta Informatica, 1981
Program Verification: Fundamental Issues in Computer Science
1993
2010
Program Derivation Using Data Types: A Case Study
IEEE Transactions on Software Engineering, 1979
Introduction: Development of Computer Languages and Software
Computer Languages
Encyclopedia of Computer Science, 2003
An approach for data type specification and its use in program verification
1979
The type system of a higher-order logic programming language
1992
ESSENTIALS OF PROGRAMMING LANGUAGES
Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report)
1983
Mathematics of Program Construction
Lecture Notes in Computer Science, 2012
Research in Programming Languages and Software Engineering
Programming Languages and Design Concept
May you have a strong (-typed) foundation" why strong-typed programming languages do matter
IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004, 2004
1957-2007: 50 years of higher order programming languages
2009
Formal semantics and the logical structure of programming languages
1972
Program specification and data refinement in type theory
Mathematical Structures in Computer Science, 1993
Mathematically Rigorous Software Design
The typelab specification and verification environment
Proceedings of Workshop on Functional and Logic …, 1986
Propositions and specifications of programs in Martin-Löf's type theory
BIT, 1984
Accurate Programming: Thinking about programs in terms of properties
2011