Typed Tagless Final Interpreters (English)
- New search for: Kiselyov, O.
- New search for: Kiselyov, O.
- New search for: Gibbons, J.
In:
Generic and indexed programming
7470
;
130-174
;
2012
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Typed Tagless Final Interpreters
-
Contributors:Kiselyov, O. ( author ) / Gibbons, J.
-
Conference:International spring school, Generic and indexed programming ; 2010 ; Oxford, UK
-
Published in:Generic and indexed programming , 7470 ; 130-174LECTURE NOTES IN COMPUTER SCIENCE , 7470 ; 130-174
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2012-01-01
-
Size:45 pages
-
Remarks:Includes bibliographical references and author index
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Three Complementary Approaches to Bidirectional ProgrammingFoster, N. / Matsuda, K. / Voigtlander, J. et al. | 2012
- 47
-
Generic Programming with AdjunctionsHinze, R. et al. | 2012
- 130
-
Typed Tagless Final InterpretersKiselyov, O. et al. | 2012
- 175
-
The C++0x ``Concepts'' EffortSiek, J.G. et al. | 2012
- 217
-
Generic Programming with Dependent TypesWeirich, S. / Casinghino, C. et al. | 2012