Datatype-Generic Programming (English)
- New search for: Gibbons, J.
- New search for: Gibbons, J.
- New search for: Backhouse, Roland C.
In:
Datatype-generic programming: International Spring School, SSDGP 2006
4719
;
1-71
;
2007
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Datatype-Generic Programming
-
Contributors:Gibbons, J. ( author ) / Backhouse, Roland C.
-
Conference:Spring school, Datatype-generic programming: International Spring School, SSDGP 2006 ; 2006 ; Nottingham, England
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE , 4719 ; 1-71
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2007-01-01
-
Size:71 pages
-
Remarks:"Papers from the Spring School on Datatype-Generic Programming, SSDGP 2006, Nottingham, April 2006, colocated with the Symposium on Trends in Functional Programming (TFP 2006), and the Conference of the Types Project (TYPES 2006)".--Cover. International conference proceedings. Includes bibliographical references and 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
-
Datatype-Generic ProgrammingGibbons, J. et al. | 2007
- 72
-
Comparing Approaches to Generic Programming in HaskellHinze, R. / Jeuring, J. / Loh, A. et al. | 2007
- 150
-
Generic Programming, Now!Hinze, R. / Loh, A. et al. | 2007
- 209
-
Generic Programming with Dependent TypesAltenkirch, T. / McBride, C. / Morris, P. et al. | 2007
- 258
-
Generic Programming in Omega megaSheard, T. et al. | 2007
- 285
-
Revealing the X/O Impedance MismatchLammel, R. / Meijer, E. et al. | 2007