Authors: Luigi Liquori, Arnaud Spiwack
Title: Functional Method
Abstract: 
This paper introduces a functional calculus that features objects and
message sending via functional application. A sound
(message-not-found preventing) first-order type system with
recursive-types and width subtyping is presented.