BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
2 × USA
Collaborated with:
P.S.Canning W.R.Cook W.L.Hill C.Beierle A.Voß J.C.Mitchell
Talks about:
program (3) orient (3) object (3) type (2) polymorph (1) interfac (1) abstract (1) theorem (1) concept (1) automat (1)

Person: Walter G. Olthoff

DBLP DBLP: Olthoff:Walter_G=

Facilitated 1 volumes:

ECOOP 1995Ed

Contributed to:

FPCA 19891989
OOPSLA 19891989
CADE 19861986
OOPSLA 19861986

Wrote 4 papers:

FPCA-1989-CanningCHOM #bound #morphism #object-oriented #polymorphism #programming
F-Bounded Polymorphism for Object-Oriented Programming (PSC, WRC, WLH, WGO, JCM), pp. 273–280.
OOPSLA-1989-CanningCHO #interface #object-oriented #programming
Interfaces for Strongly-Typed Object-Oriented Programming (PSC, WRC, WLH, WGO), pp. 457–467.
CADE-1986-BeierleOV #automation #proving #theorem proving
Automatic Theorem Proving in the ISDV System (CB, WGO, AV), pp. 670–671.
OOPSLA-1986-Olthoff #concept #data type #experience #object-oriented #programming #type system
Augmentation of Object-Oriented Programming by Concepts of Abstract Data Type Theory: The ModPascal Experience (WGO), pp. 429–443.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.