Programming and reasoning with guarded recursion for coinductive types

Ranald Clouston; Aleš Bizjak; Hans Bugge Grathwohl; Lars Birkedal

doi:10.1007/978-3-662-46678-0_26

Programming and reasoning with guarded recursion for coinductive types

Ranald Clouston
, Aleš Bizjak
, Hans Bugge Grathwohl
, Lars Birkedal

Department of Computer Science

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

29 Citations (Scopus)

Original language	English
Title of host publication	Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Editors	Andrew Pitts
Number of pages	12
Publisher	Springer VS
Publication date	2015
Pages	305-316
ISBN (Print)	978-3-662-46677-3
ISBN (Electronic)	978-3-662-46678-0
DOIs	https://doi.org/10.1007/978-3-662-46678-0_26
Publication status	Published - 2015
Event	International Conference on Foundations of Software Science and Computation Structures - London, United Kingdom Duration: 11 Apr 2015 → 18 Apr 2015 Conference number: 18

Conference

Conference	International Conference on Foundations of Software Science and Computation Structures
Number	18
Country/Territory	United Kingdom
City	London
Period	11/04/2015 → 18/04/2015

Series	Lecture Notes in Computer Science
Volume	9034
ISSN	0302-9743

Access to Document

10.1007/978-3-662-46678-0_26

Library access?

Check availability with the Royal Danish Library

Cite this

Clouston, R., Bizjak, A., Grathwohl, H. B., & Birkedal, L. (2015). Programming and reasoning with guarded recursion for coinductive types. In A. Pitts (Ed.), Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (pp. 305-316). Springer VS. https://doi.org/10.1007/978-3-662-46678-0_26

Clouston, Ranald ; Bizjak, Aleš ; Grathwohl, Hans Bugge et al. / Programming and reasoning with guarded recursion for coinductive types. Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. editor / Andrew Pitts. Springer VS, 2015. pp. 305-316 (Lecture Notes in Computer Science, Vol. 9034).

@inproceedings{c87c8f596c5b4109ba9f337b1eac8517,

title = "Programming and reasoning with guarded recursion for coinductive types",

author = "Ranald Clouston and Ale{\v s} Bizjak and Grathwohl, \{Hans Bugge\} and Lars Birkedal",

year = "2015",

doi = "10.1007/978-3-662-46678-0\_26",

language = "English",

isbn = "978-3-662-46677-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer VS",

pages = "305--316",

editor = "\{ Pitts\}, \{Andrew \}",

booktitle = "Foundations of Software Science and Computation Structures",

note = "International Conference on Foundations of Software Science and Computation Structures ; Conference date: 11-04-2015 Through 18-04-2015",

}

Clouston, R, Bizjak, A, Grathwohl, HB & Birkedal, L 2015, Programming and reasoning with guarded recursion for coinductive types. in A Pitts (ed.), Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Springer VS, Lecture Notes in Computer Science, vol. 9034, pp. 305-316, International Conference on Foundations of Software Science and Computation Structures, London, United Kingdom, 11/04/2015. https://doi.org/10.1007/978-3-662-46678-0_26

Programming and reasoning with guarded recursion for coinductive types. / Clouston, Ranald; Bizjak, Aleš; Grathwohl, Hans Bugge et al.
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. ed. / Andrew Pitts. Springer VS, 2015. p. 305-316 (Lecture Notes in Computer Science, Vol. 9034).

Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Programming and reasoning with guarded recursion for coinductive types

AU - Clouston, Ranald

AU - Bizjak, Aleš

AU - Grathwohl, Hans Bugge

AU - Birkedal, Lars

N1 - Conference code: 18

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-662-46678-0_26

DO - 10.1007/978-3-662-46678-0_26

M3 - Article in proceedings

SN - 978-3-662-46677-3

T3 - Lecture Notes in Computer Science

SP - 305

EP - 316

BT - Foundations of Software Science and Computation Structures

A2 - Pitts, Andrew

PB - Springer VS

T2 - International Conference on Foundations of Software Science and Computation Structures

Y2 - 11 April 2015 through 18 April 2015

ER -

Clouston R, Bizjak A, Grathwohl HB , Birkedal L. Programming and reasoning with guarded recursion for coinductive types. In Pitts A, editor, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Springer VS. 2015. p. 305-316. (Lecture Notes in Computer Science, Vol. 9034). doi: 10.1007/978-3-662-46678-0_26