432 search results - page 28 / 87 » Type Inference for COBOL Systems |
110
Voted
DBPL
1987
Springer
15 years 7 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
123
Voted
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
141
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
133
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
144
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...