Type systems : basic ideas and applications

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

Original language	English
Title of host publication	Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Pages	367-383
ISBN (Print)	90-6196-394-X
Publication status	Published - 1990

Cite this

@inproceedings{8008ce48a1d341c890c4aa241dab8811,

title = "Type systems : basic ideas and applications",

author = "R.P. Nederpelt",

year = "1990",

language = "English",

isbn = "90-6196-394-X",

pages = "367--383",

booktitle = "Computing Science in the Netherlands (CSN'90, Utrecht, The Netherlands, November 1-2, 1990)",

publisher = "Centrum voor Wiskunde en Informatica",

}