Search Sciweavers | Sciweavers

2565 search results - page 16 / 513

» Object type constructors

click to vote

ICFP
1997
ACM

151views Programming Languages» more ICFP 1997»

Foundations for the Implementation of Higher-Order Subtyping

14 years 28 days ago

Download www.cs.cornell.edu

We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...

Karl Crary

claim paper

Read More »

click to vote

TPHOL
1997
IEEE

104views Automated Reasoning» more TPHOL 1997»

Higher Order Quotients and their Implementation in Isabelle HOL

14 years 28 days ago

Download www4.in.tum.de

This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...

Oscar Slotosch

claim paper

Read More »

click to vote

PLDI
1990
ACM

103views Programming Languages» more PLDI 1990»

Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs

14 years 24 days ago