R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming --- an introduction. In LNCS, volume 1608, pages 28--115. Springer-Verlag, 1999. Revised version of lecture notes for AFP'98. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Generic Validation of Structural Content with Parametric Modules - Chuang (2001) (Correct)
....to be substituted for other elements. We are investigating whether ML like module languages are expressive enough to model these mechanisms in a satisfactory way. 11.2 Generic Programming Backhouse, Jansson, and Jeuring, and Meertens have written a detailed introduction to generic programming [6]. See also the introduction to fold unfold by Meijer, Fokkinga, and Paterson [17] as well as work on using fold unfold for structuring and reasoning about program semantics by Hutton [16] Previous work on generic programming by functional programming researchers seemed to rely on Haskell type ....
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In Advanced Functional Programming, 3rd International School, pages 28--115, Sept. 1999. Lecture Notes in Computer Science, Volume 1608, Springer--Verlag.
Generic Validation of Structural Content with Parametric Modules - Chuang (2001) (Correct)
.... substitution groups mechanism to allow elements to be substituted for other elements. We are investigating whether ML like module languages are expressive enough to model these mechanisms. Backhouse, Jansson, and Jeuring, and Meertens have written a detailed introduction to generic programming [6]. See also the introduction to fold unfold by Meijer, Fokkinga, and Paterson [13] as well as work on using fold unfold for structuring and reasoning about program semantics by Hutton [12] Our extension of simple fold to simultaneous fold seems new. Most work about generic programming in the ....
Roland Backhouse, Patrick Jansson, Johan Jeuring, and Lambert Meertens. Generic programming: An introduction. In Pedro R. Henriques and Jose N. Oliveira, editors, Advanced Functional Programming, pages 28--115, 1999. Lecture Notes in Computer Science, Volume 1608, Springer--Verlag.
Polytypic Values Possess Polykinded Types - Hinze (2001) (38 citations) (Correct)
....parametricity theorem [35] implies that a function of type . A Preprint submitted to Elsevier Science 30 August 2001 must necessarily be constant. As a consequence, the programmer is forced to program a separate equality function for each type from scratch. Polytypic programming [3,2] addresses this problem. Actually, equality serves as a standard example of a polytypic function that can be defined by induction on the structure of types. In a previous paper [12] the author has shown that polytypic functions are uniquely defined by giving cases for primitive types, the unit ....
....B (a, b) op (red A a) red B b) Note that we can define the helper function red even more succinctly using a point free style. red 1 = const e red Int = const e red red A red B = red A # red B red A red B = uncurry op (red A red B ) Here, #) is the so called junction operator [2]. The type of reduce F where F is a unary type constructor is quite general. reduce F : ### : #A . A Z ) Fig. 6 lists some typical applications of reduce F and reduce G where G is a binary type constructor. Further examples can be found, for instance, in [23] and [17] 8 ....
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic Programming --- An Introduction ---. In S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveira, editors, 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, volume 1608 of Lecture Notes in Computer Science, pages 28--115. Springer-Verlag, Berlin, 1999.
Advanced Programming Concepts in a Course on Grammars and.. - Johan Jeuring And Self-citation (Jeuring) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic Programming - An Introduction -. In S.Doaitse Swierstra, Pedro R. Henriques and Jose N. Oliveira, editors, Advanced Functional Programming, LNCS 1608, pages 28--115, Springer-Verlag, 1999.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) Self-citation (Jeuring) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In S. Doaitse Swierstra, Pedro R. Henriques, and Jos e N. Oliveira, editors, Advanced Functional Programming, volume 1608 of LNCS, pages 28--115. Springer-Verlag, 1999.
Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) (7 citations) Self-citation (Jeuring) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, L. Meertens, Generic programming: An introduction, in: S. D. Swierstra, P. R. Henriques, J. N. Oliveira (Eds.), Advanced Functional Programming, Vol. 1608 of LNCS, Springer-Verlag, 1999, pp. 28--115.
Polytypic Data Conversion Programs - Jeuring (2002) (5 citations) Self-citation (Jansson Jeuring) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In Advanced Functional Programming, volume 1608 of LNCS, pages 28-115. Springer-Verlag, 1999.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) Self-citation (Jeuring) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveira, editors, Advanced Functional Programming, volume 1608 of LNCS, pages 28--115. Springer-Verlag, 1999. 32
Type-Indexed Data Types - Hinze, Jeuring, Loh (2001) (7 citations) Self-citation (Jeuring) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveira, editors, Advanced Functional Programming, volume 1608 of LNCS, pages 28-115. Springer-Verlag, 1999.
Type-Indexed Data Types - Hinze, Jeuring, Loh (2004) (7 citations) Self-citation (Jeuring) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, L. Meertens, Generic programming: An introduction, in: S. D. Swierstra, P. R. Henriques, J. N. Oliveira (Eds.), Advanced Functional Programming, Vol. 1608 of LNCS, Springer-Verlag, 1999, pp. 28--115.
Scripting XML with Generic Haskell - Atanassow, Clarke, Jeuring (2003) (2 citations) Self-citation (Jeuring) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In S. Doaitse Swierstra, Pedro R. Henriques, and Jos e N. Oliveira, editors, Advanced Functional Programming, volume 1608 of LNCS, pages 28--115. Springer-Verlag, 1999.
Generic Haskell: Applications - Hinze, Jeuring (2003) (2 citations) Self-citation (Jeuring) (Correct)
....of polytypic functions are the functions that can be derived in Haskell [50] such as show , read , and . In [23] we have introduced type indexed functions, and we have shown how to implement them in Generic Haskell [7] For an older introduction to generic programming, see Backhouse et al. [4]. Why is generic programming important Generic programming makes programs easier to write: Programs that could only be written in an untyped style can now be written in a language with types. Some programs come for free. Some programs are simple adjustments of library functions, ....
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveira, editors, Advanced Functional Programming, volume 1608 of LNCS, pages 28--115. Springer-Verlag, 1999.
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (3 citations) (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming --- an introduction. In LNCS, volume 1608, pages 28--115. Springer-Verlag, 1999. Revised version of lecture notes for AFP'98.
Polytypic Functional Programming and Data Abstraction - Iglesias (2006) (Correct)
No context found.
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming -- an introduction. In S. Doaitse Swierstra, editor, 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, LNCS 1608. Springer-Verlag, 1999.
Design Patterns as Higher-Order Datatype-Generic Programs - Gibbons (2006) (Correct)
No context found.
R. C. Backhouse, P. Jansson, J. Jeuring, and L. G. L. T. Meertens. Generic programming: An introduction. In Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science, pages 28--115, 1998.
Graphical Representations and Infinite Virtual Worlds in a Logic.. - Gayo (2003) (Correct)
No context found.
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction. In S. Swierstra, P. Henriques, and Jose N. Oliveira, editors, Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science. Springer, 1999.
"Scrap Your Boilerplate" Explained - Hinze, Löh, Oliveira (Correct)
No context found.
Backhouse, R., Jansson, P., Jeuring, J., Meertens, L.: Generic programming: An introduction. In Swierstra, S.D., Henriques, P.R., Oliveira, J.N., eds.: Advanced Functional Programming. Volume 1608 of Lecture Notes in Computer Science., Springer-Verlag (1999) 28--115
A Lightweight Implementation of Generics and Dynamics - Cheney, Hinze (2002) (13 citations) (Correct)
No context found.
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic Programming --- An Introduction. In S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveira, editors, 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, volume 1608 of Lecture Notes in Computer Science, pages 28--115. Springer-Verlag, Berlin, 1999.
Unknown - Like The Previous (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic Programming - An Introduction -. In Advanced Functional Programming, LNCS 1608. Springer-Verlag, 1999.
A Generic Version of scanf Programmed in C5 - Cabezas (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic Programming - An Introduction -. In Advanced Functional Programming, LNCS 1608. Springer-Verlag, 1999.
Reusable Monadic Semantics of Object Oriented Programming.. - Gayo, Lovelle, Diez, Rio (Correct)
No context found.
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction. In S. Swierstra, P. Henriques, and Jose N. Oliveira, editors, Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science. Springer, 1999.
Towards a Theory of Moa - Proposal For Phd (Correct)
No context found.
R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming --- an introduction. In S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveire, editors, Advanced Functional Programming, volume 1608 of LNCS, pages 28--115. SpringerVerlag, 1999. Obtainable by http://www.cs. uu.nl/~johanj/publications/portugal.ps.
The Fun of Programming Oege de Moor, - Jeremy Gibbons And (Correct)
No context found.
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic Programming --- An Introduction ---. In S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveira, editors, 3rd International Summer School on Advanced Functional Programming, Braga, Portugal, volume 1608 of Lecture Notes in Computer Science, pages 28--115. Springer-Verlag, Berlin, 1999.
Graphical Representations and Infinite Virtual Worlds In Logic and .. - Labra (2003) (Correct)
No context found.
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction. In S. Swierstra, P. Henriques, and Jose N. Oliveira, editors, Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science. Springer, 1999.
A Language Prototyping Tool Based on Semantic Building.. - Gayo, Lovelle, Diez.. (2001) (Correct)
No context found.
Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction. In S. D. Swierstra, P. R. Henriques, and J. N. Oliveira, editors, Advanced Functional Programming, volume 1608 of Lecture Notes in Computer Science. Springer, 1999.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC