Thu, 21 Aug 2008 07:08:51 BST CiteULike: jff's Jones http://www.citeulike.org/user/jff/author/Jones CiteULike.org en-gb Copyright © 2004-2008 citeulike.org http://www.citeulike.org/user/jff/article/2765471 <i>(2003), pp. 26-37.</i> Scrap your boilerplate: A practical design pattern for generic programming. Ralf lämmel Simon Jones (2003), pp. 26-37. 2008-05-07T11:57:40-00:00 2003 26 37 ACM Press rcb-bibfile http://www.citeulike.org/user/jff/article/2765470 <i>(2004)</i> Scrap more boilerplate Ralf lämmel Simon Jones (2004) 2008-05-07T11:57:40-00:00 2004 ACM Press rcb-bibfile http://www.citeulike.org/user/jff/article/2765464 <i></i> Boilerplate Peyton Jones 2008-05-07T11:57:39-00:00 rcb-bibfile http://www.citeulike.org/user/jff/article/2765463 <i>(1987)</i> The Implementation of Functional Programming Languages Peyton Jones (1987) 2008-05-07T11:57:39-00:00 1987 Prentice-Hall rcb-bibfile http://www.citeulike.org/user/jff/article/2765439 <i>(1985)</i> Multilevel Functions in Type Theory B Nordström (1985) 2008-05-07T11:57:39-00:00 1985 Springer-Verlag, LNCS 217 rcb-bibfile http://www.citeulike.org/user/jff/article/2765394 <i>(June 1995)</i> Shortcut Deforestation in Calculational Form Akihito Takano Erik Meijer (June 1995) 2008-05-07T11:57:37-00:00 1995 rcb-bibfile http://www.citeulike.org/user/jff/article/2765393 <i>(June 1995)</i> Bananas in Space: Extending Squiggol to Function-Space Types Erik Meijer Graham Hutton (June 1995) 2008-05-07T11:57:37-00:00 1995 rcb-bibfile http://www.citeulike.org/user/jff/article/2765319 <i>(1996), pp. 68-78.</i> Using parameterized signatures to express modular structure Mark Jones (1996), pp. 68-78. 2008-05-07T11:57:33-00:00 1996 68 78 ACM Press rcb-bibfile http://www.citeulike.org/user/jff/article/2765318 <i>Vol. 925 (May 1995), pp. 97-136.</i> Functional programming with overloading and higher-order polymorphism Mark Jones Vol. 925 (May 1995), pp. 97-136. 2008-05-07T11:57:33-00:00 1995 925 97 136 Springer-Verlag rcb-bibfile http://www.citeulike.org/user/jff/article/2765317 <i>(1991)</i> mural: A Formal Development Support System CB Jones KD Jones PA Lindsay R Moore (1991) 2008-05-07T11:57:33-00:00 1991 Springer-Verlag rcb-bibfile http://www.citeulike.org/user/jff/article/2765316 <i></i> Constructing the Fast Fourier Transform G Jones 2008-05-07T11:57:33-00:00 rcb-bibfile http://www.citeulike.org/user/jff/article/2765315 <i>(1986)</i> Systematic Software Development Using VDM C Jones (1986) 2008-05-07T11:57:33-00:00 1986 Prentice-Hall rcb-bibfile http://www.citeulike.org/user/jff/article/2765314 <i>(June 1995)</i> Constructing functional programs for grammar analysis problems J Jeuring SD Swierstra (June 1995) 2008-05-07T11:57:33-00:00 1995 rcb-bibfile http://www.citeulike.org/user/jff/article/2765251 <i>(September 2000)</i> Derivable Type Classes Ralf Hinze Simon Jones (September 2000) 2008-05-07T11:57:31-00:00 2000 rcb-bibfile http://www.citeulike.org/user/jff/article/2765081 <i>(1988)</i> Formal Derivation of a Pattern Matching Algorithm RS Bird J Gibbons G Jones (1988) 2008-05-07T11:57:22-00:00 1988 rcb-bibfile http://www.citeulike.org/user/jff/article/2764902 <i>(1992)</i> Deriving bit-serial circuits in Ruby Geraint Jones Mary Sheeran (1992) 2008-05-07T11:57:14-00:00 1992 North-Holland rcb-bibfile http://www.citeulike.org/user/jff/article/2764847 <i>No. UMCS-92-4-4. (1992)</i> The Search for Tractable Ways of Reasoning about Programs Cliff Jones No. UMCS-92-4-4. (1992) 2008-05-07T11:57:11-00:00 1992 UMCS-92-4-4 rcb-bibfile http://www.citeulike.org/user/jff/article/2764846 <i>No. PRG-TR-10-90. (April 1990)</i> Designing Circuits by Calculation Geraint Jones No. PRG-TR-10-90. (April 1990) 2008-05-07T11:57:11-00:00 1990 PRG-TR-10-90 rcb-bibfile http://www.citeulike.org/user/jff/article/2764845 <i>(1990)</i> Circuit Design in Ruby Geraint Jones Mary Sheeran (1990) 2008-05-07T11:57:11-00:00 1990 North-Holland rcb-bibfile http://www.citeulike.org/user/jff/article/2764844 <i>No. 669. (1993)</i> Designing Arithmetic Circuits by Refinement in Ruby Geraint Jones Mary Sheeran No. 669. (1993) 2008-05-07T11:57:11-00:00 1993 669 Springer-Verlag rcb-bibfile http://www.citeulike.org/user/jff/article/2764785 <i>(1987)</i> The Implementation of Functional Programming Languages Peyton Jones (1987) 2008-05-07T11:57:09-00:00 1987 Prentice Hall rcb-bibfile http://www.citeulike.org/user/jff/article/2764769 <i>(1999)</i> Report on the Programming Language Haskell 98 Peyton Jones J Hughes L Augustsson D Barton B Boutel W Burton J Fasel K Hammond R Hinze P Hudak T Johnsson M Jones J Launchbury E Meijer J Peterson A Reid C Runciman P Wadler (1999) 2008-05-07T11:57:08-00:00 1999 rcb-bibfile http://www.citeulike.org/user/jff/article/2764758 <i>(2005), pp. 48-60.</i> Composable Memory Transactions T Harris S Marlow Peyton Jones M Herlihy (2005), pp. 48-60. 2008-05-07T11:57:08-00:00 2005 48 60 rcb-bibfile http://www.citeulike.org/user/jff/article/2235446 <i>(31 July 1998)</i><br /><br />This book gives an undergraduate-level introduction to Number Theory, with the emphasis on fully explained proofs and examples; exercises (with solutions) are integrated into the text. The first few chapters, covering divisibility, prime numbers and modular arithmetic, assume only basic school algebra, and are therefore suitable for first or second year students as an introduction to the methods of pure mathematics. Elementary ideas about groups and rings (summarised in an appendix) are then used to study groups of units, quadratic residues and arithmetic functions with applications to enumeration and cryptography. The final part, suitable for third-year students, uses ideas from algebra, analysis, calculus and geometry to study Dirichlet series and sums of squares; in particular, the last chapter gives a concise account of Fermat's Last Theorem, from its origin in the ancient Babylonian and Greek study of Pythagorean triples to its recent proof by Andrew Wiles. Elementary Number Theory Gareth Jones Josephine Jones (31 July 1998) 2008-01-15T16:18:19-00:00 1998 Springer book math-bib number-theory