MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Martin Wehr" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

ATOM

Higher Order Algebraic Data Types (extended abstract)
by Martin Wehr — 1998
…Higher Order Algebraic Data Types Martin Wehr University of Edinburgh, Department of Computer…
Add To MetaCart

Quantum Computing: A new Paradigm and it's Type Theory
by Martin Wehr — 1996 — Lecture given at the Quantum Computing Seminar, Lehrstuhl Prof. Beth, Universität
…Quantum Computing: A new Paradigm and it's Type Theory Martin Wehr August 12, 1996 Abstract…
Cited by 2 (0 self) – Add To MetaCart

Type inference with constrained types
by Martin Odersky, Martin Sulzmann, Martin Wehr — 1997 — Fourth International Workshop on Foundations of Object-Oriented Programming (FOOL)
…, Department of Computer Science, New Haven, CT 06520-8285 Martin Wehr University of Edinburgh, Laboratory…
Cited by 38 (5 self) – Add To MetaCart

A Second Look at Overloading
by Martin Odersky, Philip Wadler, Martin Wehr — 1995
… and Computer Architecture Martin Odersky Philip Wadler y Martin Wehr We study a minimal extension…
Cited by 38 (5 self) – Add To MetaCart

Proof of the Principal Type Property for System O
by Martin Wehr Martin, Martin Odersky — 1996
…Proof of the Principal Type Property for System O Technical Report Martin Wehr Martin Odersky…
Add To MetaCart

A Second Look at Overloading
by Martin Odersky Universitat, Martin Odersky, Philip Wadler, Martin Wehr — 1995 — In Proc. ACM Conf. on Functional Programming and Computer Architecture
… Wadler University of Glasgow z (wadler@(email omitted);) Martin Wehr Universitat Karlsruhe (wehr…
Add To MetaCart

Showing 1 through 6.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB