Affordable Access

Principal types for object-oriented languages

Authors
Publication Date
Source
OpenGrey Repository
Keywords
  • 09H - Computer Software, Programming
  • Record Language: M
  • Semantics
  • Language Types
  • Order-Sorted Logic
  • Type Interference Rules
  • Type Reconstruction Algorithm
  • Two-Phase Formalization
  • Verification Problem
External links

Abstract

Statistics

Seen <100 times