Johan Jeuring – författare
Visar alla böcker från författaren Johan Jeuring. Handla med fri frakt och snabb leverans.
14 produkter
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Av Johan Jeuring, Jeremy Gibbons
E-bok, 2013
1502 kr
Lägg i varukorg
Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a …
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Av Jeremy Gibbons, Johan Jeuring m. fl.
Inbunden, 2003
1129 kr
Lägg i varukorg
Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a …
Generic Programming
IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany
Av Jeremy Gibbons, Johan Jeuring
Häftad, 2013
1129 kr
Lägg i varukorg
Generic programming is about making programs more adaptable by making them more general. Generic programs often embody non-traditional kinds of polymorphism; ordinary programs are obtained from them by suitably instantiating their parameters. In contrast with normal programs, the parameters of a …
Games and Learning Alliance
5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings
Av Rosa Bottino, Johan Jeuring m. fl.
Häftad, 2016
536 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th International Conference on Games and Learning Alliance, GALA 2016, held in Utrecht, The Netherlands, in December 2016.The 27 revised regular papers presented together with 14 poster papers were carefully reviewed and selected from 55 …
Games and Learning Alliance
5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings
Av Remco C. Veltkamp, Johan Jeuring m. fl.
E-bok, 2016
698 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 5th International Conference on Games and Learning Alliance, GALA 2016, held in Utrecht, The Netherlands, in December 2016. The 27 revised regular papers presented together with 14 poster papers were carefully reviewed and selected from 55 …
Advanced Functional Programming
4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
Av Johan Jeuring, Simon Peyton Jones
Häftad, 2003
568 kr
Lägg i varukorg
This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming,heldAugust19-24,2002,at St. Anne's College in Oxford, UK. This School was preceded by earlier ones in B? astad (1995, Sweden, LNCS 925),Olympia,WA (1996,USA, LNCS …
Advanced Functional Programming
4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
Av Simon Peyton Jones, Johan Jeuring
E-bok, 2004
755 kr
Lägg i varukorg
Advanced Functional Programming
First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text
Häftad, 1995
568 kr
Lägg i varukorg
This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995.The last few years have seen important new developments in functional programming techniques: concepts, such as monads, type …
Mathematics of Program Construction
4th International Conference, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings
Häftad, 1998
568 kr
Lägg i varukorg
This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in June 1998. The 17 revised full papers presented were selected from 57 submissions; also included are three invited …
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Roland Backhouse, Jeremy Gibbons m. fl.
Häftad, 2007
568 kr
Lägg i varukorg
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and ?oating-point …
Datatype-Generic Programming
International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures
Av Johan Jeuring, Ralf Hinze m. fl.
E-bok, 2007
739 kr
Lägg i varukorg
A leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated — the so-called genericity of the paradigm. The sorts of parameters that can be envisaged in a programming language range from simple values, like integers and ?oating-point …
Intelligent Computer Mathematics
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
Av Johan Jeuring, John Campbell m. fl.
Häftad, 2012
568 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital …
Intelligent Computer Mathematics
11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Proceedings
Av Volker Sorge, Makarius Wenzel m. fl.
E-bok, 2012
739 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital …
