| Ori Schwartz |
| This Page |
| This page contains some links to my work (left) with Prof. Assaf Kfoury. Work focuses on the implementation of compositional type system for the lambda calculus.
|
| |
| Church-Project |
| The Church Project investigates the foundations, design principles and implementation techniques of programming languages and related systems. The overall goal is the development of software technology that performs better and is more reliable. |
| |
| System I |
| The Church Project's efforts in Compositional Analysis involve investigating the feasibility and real-world relevance of a new framework for modular program-analysis, which uses intersection and union types to support what is appropriately called finitary polymorphism (as opposed to the infinitary polymorphism supported by types quantified with "for all" and "there exists"). The starting point of this investigation is a recently designed polymorphic type system, called System I, for a foundational functional language, the lambda-calculus. The chief feature of System I is the use of intersection types together with the new technology of expansion variables, which allows System I to satisfy a substitution-based principal-typings property. |
|
 |
| Contact Information |
| Email |
ori at types dot bu dot edu |
|