Vuillemin's Exact Real Arithmetic

David R Lester; Rogardt Heldal; Carsten Kehler Holst; Philip Wadler

Vuillemin's Exact Real Arithmetic

David R Lester, Rogardt Heldal (Editor), Carsten Kehler Holst (Editor), Philip Wadler (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Functional Programming
Editors	Rogardt Heldal, Carsten Kehler Holst, Philip Wadler
Publisher	Springer Nature
Pages	225-238
Number of pages	14
ISBN (Print)	3-540-19760-5
Publication status	Published - 1991
Event	Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/fp/fp1991.html#Lester91http://dblp.uni-trier.de/rec/bibtex/conf/fp/Lester91.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fp/Lester91

Publication series

Name	Workshops in Computing

Conference

Conference	Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/fp/fp1991.html#Lester91http://dblp.uni-trier.de/rec/bibtex/conf/fp/Lester91.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fp/Lester91

Access to Document

Cite this

@inproceedings{384c4f83e58545808571d6e3125f01ad,

title = "Vuillemin's Exact Real Arithmetic",

author = "Lester, {David R} and Rogardt Heldal and Holst, {Carsten Kehler} and Philip Wadler",

year = "1991",

language = "English",

isbn = "3-540-19760-5",

series = "Workshops in Computing",

publisher = "Springer Nature",

pages = "225--238",

editor = "Rogardt Heldal and Holst, {Carsten Kehler} and Philip Wadler",

booktitle = "Functional Programming",

address = "United States",

note = "Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/fp/fp1991.html#Lester91http://dblp.uni-trier.de/rec/bibtex/conf/fp/Lester91.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fp/Lester91",

}

Lester, DR, Heldal, R (ed.), Holst, CK (ed.) & Wadler, P (ed.) 1991, Vuillemin's Exact Real Arithmetic. in R Heldal, CK Holst & P Wadler (eds), Functional Programming. Workshops in Computing, Springer Nature, pp. 225-238, Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991, 1/01/24. <http://dblp.uni-trier.de/db/conf/fp/fp1991.html#Lester91>

TY - GEN

T1 - Vuillemin's Exact Real Arithmetic

AU - Lester, David R

A2 - Heldal, Rogardt

A2 - Holst, Carsten Kehler

A2 - Wadler, Philip

A2 - Heldal, Rogardt

A2 - Holst, Carsten Kehler

A2 - Wadler, Philip

PY - 1991

Y1 - 1991

M3 - Conference contribution

SN - 3-540-19760-5

T3 - Workshops in Computing

SP - 225

EP - 238

BT - Functional Programming

PB - Springer Nature

T2 - Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991

Y2 - 1 January 1824

ER -