A semantics for $\lambda^{ \{ \} }_{ \mathsf {str }}$: a calculus with overloading and late-binding

TitleA semantics for $\lambda^{ \{ \} }_{ \mathsf {str }}$: a calculus with overloading and late-binding
Publication TypeTechnical Reports
Year of Publication1999
AuthorsStuder, T
URLhttp://www.iam.unibe.ch/ltgpub/1999/stu99.ps