How Can Covarience in Pragmatical Class Methods Be Made Statically Type-safe?

Axel Schmolitzky; Mark Evered; J L Keedy; Gisela Menger

How Can Covarience in Pragmatical Class Methods Be Made Statically Type-safe?

Axel Schmolitzky, Mark Evered, J L Keedy, Gisela Menger

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Proceedings Technology of Object-Oriented Languages and Systems (TOOLS 32)
Place of Publication	New Jersey USA
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	200 - 209
Number of pages	10
ISBN (Print)	0769504620
Publication status	Published - 1999
Event	Technology of Object-Oriented Languages and Systems (TOOLS 32) - Melbourne, Australia Duration: 22 Nov 1999 → 25 Nov 1999 Conference number: 32nd https://www.computer.org/csdl/proceedings/tools/1999/12OmNy6qfOB

Conference

Conference	Technology of Object-Oriented Languages and Systems (TOOLS 32)
Abbreviated title	TOOLS 32
Country/Territory	Australia
City	Melbourne
Period	22/11/99 → 25/11/99
Internet address	https://www.computer.org/csdl/proceedings/tools/1999/12OmNy6qfOB

Cite this

@inproceedings{ad7cf872eb2e4f379e87347ff59ee2b1,

title = "How Can Covarience in Pragmatical Class Methods Be Made Statically Type-safe?",

author = "Axel Schmolitzky and Mark Evered and Keedy, {J L} and Gisela Menger",

year = "1999",

language = "English",

isbn = "0769504620",

pages = "200 -- 209",

booktitle = "Proceedings Technology of Object-Oriented Languages and Systems (TOOLS 32)",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States of America",

note = "Technology of Object-Oriented Languages and Systems (TOOLS 32), TOOLS 32 ; Conference date: 22-11-1999 Through 25-11-1999",

url = "https://www.computer.org/csdl/proceedings/tools/1999/12OmNy6qfOB",

}

Schmolitzky, A, Evered, M, Keedy, JL & Menger, G 1999, How Can Covarience in Pragmatical Class Methods Be Made Statically Type-safe? in Proceedings Technology of Object-Oriented Languages and Systems (TOOLS 32). IEEE, Institute of Electrical and Electronics Engineers, New Jersey USA, pp. 200 - 209, Technology of Object-Oriented Languages and Systems (TOOLS 32), Melbourne, Victoria, Australia, 22/11/99.

How Can Covarience in Pragmatical Class Methods Be Made Statically Type-safe? / Schmolitzky, Axel; Evered, Mark; Keedy, J L et al.
Proceedings Technology of Object-Oriented Languages and Systems (TOOLS 32). New Jersey USA: IEEE, Institute of Electrical and Electronics Engineers, 1999. p. 200 - 209.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review