Schwartzbach, Michael I.
-
DAIMI Report Series No. 336 (1990): PB-336 Type Inference with Inequalities - Articles
Type Inference with Inequalities
Abstract PDF -
DAIMI Report Series No. 293 (1989): PB-293 Infinite Values in Hierarchical Imperative Types - Articles
Infinite Values in Hierarchical Imperative Types
Abstract PDF -
DAIMI Report Series No. 295 (1989): PB-295 Static Correctness of Hierarchical Procedures - Articles
Static Correctness of Hierarchical Procedures
Abstract PDF -
DAIMI Report Series No. 311 (1990): PB-311 Optimal detection of query injectivity - Articles
Optimal detection of query injectivity
Abstract PDF -
DAIMI Report Series No. 313 (1990): PB-313 A note on opaque types - Articles
A note on opaque types
Abstract PDF -
DAIMI Report Series No. 316 (1990): PB-316 Types and automata - Articles
Types and automata
Abstract PDF -
DAIMI Report Series No. 386 (1992): PB-386 Polyvariant Analysis of the Untyped Lambda Calculus - Articles
Polyvariant Analysis of the Untyped Lambda Calculus
Abstract PDF -
DAIMI Report Series No. 389 (1992): PB-389 Safety Analysis versus Type Inference - Articles
Safety Analysis versus Type Inference
Abstract PDF -
DAIMI Report Series No. 393 (1992): PB-393 Binding Time Analysis: Abstract Interpretation vs. Type Inference - Articles
Binding Time Analysis: Abstract Interpretation vs. Type Inference
Abstract PDF -
DAIMI Report Series No. 342 (1990): PB-342 What is Type-Safe Code Reuse? - Articles
What is Type-Safe Code Reuse?
Abstract PDF -
DAIMI Report Series No. 345 (1991): PB-345 Object-Oriented Type Inference - Articles
Object-Oriented Type Inference
Abstract PDF -
DAIMI Report Series No. 355 (1991): PB-355 Static Typing for Object-Oriented Programming - Articles
Static Typing for Object-Oriented Programming
Abstract PDF -
DAIMI Report Series No. 357 (1991): PB-357 Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 - Articles
Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 (Geneva, Switzerland, 1991, 15-19 July)
Abstract PDF -
DAIMI Report Series No. 362 (1991): PB-362 Three Discussions on Object-Oriented Typing - Articles
Three Discussions on Object-Oriented Typing
Abstract PDF -
DAIMI Report Series No. 404 (1992): PB-404 Safety Analysis versus Type Inference for Partial Types - Articles
Safety Analysis versus Type Inference for Partial Types
Abstract PDF -
DAIMI Report Series No. 469 (1994): PB-469 Graphs and Decidable Transductions based on Edge Constraints: Extended abstract - Articles
Graphs and Decidable Transductions based on Edge Constraints: Extended abstract
Abstract PDF -
DAIMI Report Series No. 305 (1990): PB-305 Substitution Polymorphism for Object-Oriented Programming - Articles
Substitution Polymorphism for Object-Oriented Programming
Abstract PDF -
DAIMI Report Series No. 470 (1994): PB-470 Verification of Pointers - Articles
Verification of Pointers
Abstract PDF -
DAIMI Report Series No. 271 (1988): PB-271 An Imperative Type Hierarchy with Partial Products - Articles
An Imperative Type Hierarchy with Partial Products
Abstract PDF -
DAIMI Report Series No. 421 (1992): PB-421 Graph Types - Articles
Graph Types
Abstract Untitled -
DAIMI Report Series No. 317 (1990): PB-317 Type substitution for object-oriented programming - Articles
Type substitution for object-oriented programming
Abstract PDF -
DAIMI Report Series No. 318 (1990): PB-318 Genericity and inheritance - Articles
Genericity and inheritance
Abstract PDF -
DAIMI Report Series No. 341 (1990): PB-341 A Unified Type System for Object-Oriented Programming - Articles
A Unified Type System for Object-Oriented Programming
Abstract PDF -
DAIMI Report Series No. 394 (1992): PB-394 Efficient Inference of Partial Types - Articles
Efficient Inference of Partial Types
Abstract PDF -
DAIMI Report Series No. 297 (1989): PB-297 A Universal Relational Operator - Articles
A Universal Relational Operator
Abstract PDF -
DAIMI Report Series No. 405 (1992): PB-405 Efficient Recursive Subtyping - Articles
Efficient Recursive Subtyping
Abstract PDF -
DAIMI Report Series No. 385 (1992): PB-385 Making Type Inference Practical - Articles
Making Type Inference Practical
Abstract PDF -
DAIMI Report Series No. 436 (1993): PB-436 Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance - Articles
Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Abstract PDF