A type-theoretic foundation of delimited continuations
- Authors
- A. Filinski
- A. Filinski
- A. Filinski
- Amr Sabry
- C. Rauszer
- C.-H.L. Ong
- C.A. Gunter
- C.T. Haynes
- C.T. Haynes
- D. Sitaram
- D. Sitaram
- F. Barbanera
- H. Herbelin
- H. Thielecke
- H. Thielecke
- Hugo Herbelin
- J.G. Riecke
- K. Baba
- L. Moreau
- L. Moreau
- M. Felleisen
- M. Felleisen
- M. Felleisen
- M. Felleisen
- M. Felleisen
- M. Hofmann
- M. Lillibridge
- M. Parigot
- M. Wand
- M.J. Fischer
- M.J. Fischer
- O. Danvy
- P. Wadler
- P.-L. Curien
- R. David
- R. Hieb
- R. Hieb
- T. Crolard
- T. Crolard
- T.G. Griffin
- W. Howard
- Y. Kameyama
- Z.M. Ariola
- Z.M. Ariola
- Zena M. Ariola
- Publication date
- Publisher
- 'Springer Science and Business Media LLC'
- Doi
Abstract
Abstract is not available.Similar works
Available Versions
Last time updated on 27/03/2019