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 TypeJournal Article
Year of Publication2001
AuthorsStuder, T
JournalJournal of Logic and Computation
Volume11
Pagination527-544
URLhttp://www.iam.unibe.ch/ltgpub/2001/stu01a.pdf