Technology Strict intersection types for the lambda calculus

1.Strict Intersection Types for the Lambda Calculus STEFFEN VAN BAKEL, Imperial College LondonThis article will show the usefulness and elegance of strict intersection types…

Documents Refactoring for Parameterizing Java Classes

Refactoring for Parameterizing Java Classes Adam Kiezun (MIT), Michael D. Ernst (MIT), Frank Tip (IBM), Robert M. Fuhrer (IBM) Parameterization Goal: migration of Java code…