Articles mentioning both Simon Peyton Jones and ACM Press

1-24 of 29 // 1 2 »

  1. 2008-010.pdf (application/pdf Object)

    cs.uu.nl (Jul 9 2008) Explore Article

    ...u, editor, MPC’06, volume 4014 of LNCS, pages 209–234. Springer, 2006. Paul Hudak, John Hughes, Simon Peyton Jones, and Philip Wadler. A history of Haskell: being lazy with class. In HOPL III, pages 12–1–12–5......’04: Proceedings of the ACM SIGPLAN workshop on Haskell, pages 96–107, New York, NY, USA, 2004. ACM Press. ISBN 1581138504. doi: 10.1145/1017472.1017488. URL http://portal.acm.org/ citation.cfm?id=1017488.... (Read Full Article)

    Comment on Article Mentions:   Roland Backhouse   Huiqing Li   Jeremy Gibbons

  2. "Scrap Your Boilerplate" Reloaded

    informatik.uni-bonn.de (Jul 5 2008) Explore Article

    ... and more concise proofs. Acknowledgements We thank Jeremy Gibbons, Ralf L¨mmel, Pablo Nogueira, a Simon Peyton Jones, Fermin Reig, and the four anonymous referees for several helpful remarks. References 1. L¨mmel, ......Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL 2003), ACM Press (2003) 224–235 6. Peyton Jones, S., Washburn, G., Weirich, S.: Wobbly types: Type inference for generalised algebraic data types. ... (Read Full Article)

    Comment on Article Mentions:   Simon Peyton Jones   Haskell   Jeremy Gibbons

  3. Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming

    cs.vu.nl (May 28 2008) Explore Article

    ¨ Ralf Lammel Vrije Universiteit, Amsterdam Simon Peyton Jones Microsoft Research, Cambridge Abstract We describe a design pattern for writing programs that trav......ramming (ICFP’99), volume 34.9 of ACM Sigplan Notices, pages 172–182, N.Y., Sept. 27–29 1999. ACM Press. [8] R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In 22nd AC... (Read Full Article)

    Comment on Article Mentions:   Tony Hoare   Symbolic Computation   Colin Runciman

  4. Haskell's overlooked object system (pdf)

    homepages.cwi.nl (May 20 2008) Explore Article

    ...of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York, NY, USA: ACM Press. Shields, M., & Peyton Jones, S.L. (2001). Object-Oriented Style Overloading for Haskell. ENTCS, 59(1). An extended TR is availa... (Read Full Article)

    Comment on Article Mentions:   Lennart Augustsson   Computer Science   Haskell

  5. A Supercompiler for Core Haskell

    www-users.cs.york.ac.uk (May 19 2008) Explore Article

    ... Higher-Order and Symbolic Computation, 12(4):381–391, 1999. 5. Andrew Gill, John Launchbury, and Simon Peyton Jones. A short cut to deforestation. In Proc FPCA ’93, pages 223–232. ACM Press, June 1993. 6. Dimitry Golubovsky, Neil Mitchell, and Matthew Naylor. Yhc.Core - from Haskell to Co...... Santos. Let-floating: Moving bindings to give faster programs. In Proc. ICFP ’96, pages 1–12. ACM Press, 1996. 22. Simon Peyton-Jones, Andrew Tolmach, and Tony Hoare. ... (Read Full Article)

    Comment on Article Mentions:   Cambridge University Press   Neil Mitchell   Tony Hoare

  6. Wadler: Monads

    Informatics Homepages Server (May 16 2008) Explore Article

    Simon Peyton Jones and Philip Wadler. 20'th Symposium on Principles of Programming Languages, ACM Press, Charlotte, North Carolina, January 1993. We present a new model, based on monads, for performing i... (Read Full Article)

    Comment on Article Mentions:   Mathematical Structures in Computer Science   Philip Wadler   Haskell

  7. Hardware Design and Functional Programming: a Perfect Match

    jucs.org (May 9 2008) Explore Article

    ...he interested reader is referred to the content and citations in [Kiselyov et al., 2004, Sheard and Peyton Jones, 2002, Grundy et al., 2003, Mycroft and Sharp, 2001]. These developments will allow more type-safe ......natorial circuits. In Fourth International Conference on Embedded Software (EMSOFT), pages 249-258. ACM Press. [Knowles, 1999] Knowles, S. (1999). A Family of Adders. Int. Symp. on Computer Arithmetic, pages 2... (Read Full Article)

    Comment on Article Mentions:   Emil Axelsson   Advanced Functional Programming   Mary Sheeran

  8. A Concurrent Constraint Handling Rules Implementation in Haskell with Software Transactional Memory

    cs.cmu.edu (May 7 2008) Explore Article

    .... [8] Glasgow haskell compiler home page. http://www.haskell.org/ghc/. [9] T. Harris, S. Marlow, S. Peyton Jones, and M. Herlihy. Composable memory transactions. In Proc. of PPoPP’05, pages 48–60. ACM Press, 2005. [10] S. Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003. ... (Read Full Article)

    Comment on Article Mentions:   Haskell   Glasgow Haskell Compiler   Simon Peyton Jones

  9. An Optimizing Compiler For Scheme

    The ACM Portal (May 5 2008) Explore Article

    ...E. Mohr, Mul-T: a high-performance parallel Lisp, ACM SIGPLAN Notices, v.24 n.7, p.81-90, July 1989 Simon Peyton Jones , Will Partain , André Santos, Let-floating: moving bindings to give faster programs, ACM SIGPLAN ......3 Guy L. Steele , Richard P. Gabriel, The evolution of Lisp, History of programming languages---II, ACM Press, New York, NY, 1996 Guy L. Steele, Jr. , Richard P. Gabriel, The evolution of Lisp, ACM SIGPLAN Not... (Read Full Article)

    Comment on Article Mentions:   Matthias Felleisen   United Kingdom   Paul Hudak

  10. A Short Cut to Deforestation - Gill, Launchbury, Jones (ResearchIndex)

    citeseer.ist.psu.edu (May 4 2008) Explore Article

    ...n.. - Correnson, Duris.. (1999) BibTeX entry:   (Update) Andrew Gill, John Launchbury, and Simon L Peyton Jones. A short cut to deforestation. In Conf. on Functional Programming and Computer Architecture (FPCA'9......al Programming and Computer Architecture (FPCA'93), pages 223--232, Copenhagen, Denmark, June 1993. ACM Press. http://citeseer.ist.psu.edu/gill93short.html   More @inproceedings{ gill93, pages = "223--232", y... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Haskell   ACM Press

  11. Student Paper: HaskellDB Improved

    HaskellDB (May 2 2008) Explore Article

    ...Seefried, and M. M. T. Chakravarty. Plugging Haskell In. In ACM SIGPLAN Haskell Workshop (HW’04). ACM Press, Sept. 2004. [12] S. Peyton Jones, M. Jones, and E. Meijer. Type classes: Exploring the design space. In Proceedings of the Second Ha... (Read Full Article)

    Comment on Article Mentions:   Acm Sigplan   Sheard   Usenix

  12. mpc08.pdf (application/pdf Object)

    TUD - Theoretische Informatik (Apr 4 2008) Explore Article

    ...adler, P.: Imperative functional programming. In: Principles of Programming Languages, Proceedings, ACM Press (1993) 71–84 3. Launchbury, J., Peyton Jones, S.: State in Haskell. Lisp and Symbolic Computation 8(4) (1995) 293–341 4. Wadler, P.: The essen... (Read Full Article)

    Comment on Article Mentions:   Haskell IO   Sheard   International Conference on Functional Programming

  13. Type Classes Without Types

    repository.readscheme.org (Apr 2 2008) Explore Article

    ...nctional programming languages and computer architecture, pages 135–146, New York, NY, USA, 1995. ACM Press. Simon Peyton Jones. The Haskell 98 language. Journal of Functional Programming, 13:103–124, January 2003. Simon Peyton Jones, Mark Jones, and Erik Meijer. Type classes: Exploring the design space. In Proceedings of the 1997 ... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Peter Thiemann   Jean-Yves Girard

  14. Gabriele Keller - University of New South Wales

    Java SSH for weill (Mar 24 2008) Explore Article

    ...publications: Data Parallel Haskell: a status report. Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon Peyton Jones, Gabriele Keller, and Simon Marlow. In DAMP 2007: Workshop on Declarative Aspects of Multicore Prog......e Keller, and Simon Marlow. In DAMP 2007: Workshop on Declarative Aspects of Multicore Programming, ACM Press, 2007 (Read Full Article)

    Comment on Article Mentions:   Simon Marlow   School of Computer Science   Gabriele Keller

  15. A .net Bridge for Haskell: Dancing with the Devil

    Java SSH for weill (Mar 16 2008) Explore Article

    ...i/GHC/Type_families. Accessed: 28 October 2007. [2] Manuel M. T. Chakravarty, Gabrielle Keller, and Simon Peyton Jones. Associated Type Synonyms. In ICFP ’05: Proceedings of the International Conference on Functional......ype Synonyms. In ICFP ’05: Proceedings of the International Conference on Functional Programming. ACM Press, September 2005. URL http://www.cse.unsw.edu.au/~keller/CP05.html. [3] Microsoft Corporation. .NET ... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Microsoft Research   Erik Meijer

  16. PAPP-Journal.pdf (application/pdf Object)

    macs.hw.ac.uk (Mar 15 2008) Explore Article

    ... and modeling of computer systems, 1985, ISBN 0-89791-169-5, pp. 1–3, Austin Texas United States, ACM Press [7] S. L.Peyton Jones, C. Clack, J. Salkild and M. Hardie, GRIP — a High-Performance Architecture for Parallel Graph Re... (Read Full Article)

    Comment on Article Mentions:   Simon Peyton Jones   ACM Press   Thu Mar

  17. Lock -Free Data Structures using STMs in Haskell

    Microsoft Research Home (Feb 19 2008) Explore Article

    Lock Free Data Structures using STM in Haskell Anthony Discolo1, Tim Harris2, Simon Marlow2, Simon Peyton Jones2, Satnam Singh1 Microsoft, One Microsoft Way, Redmond, WA 98052, USA {adiscolo, satnams}@microsoft.......AN conference on Object-oriented programing, systems, languages, and applications, pages 388–402. ACM Press, 2003. 5. M. P. Herlihy, V. Luchangco, M. Moir, and W. M. Scherer. Software transactional memory fo... (Read Full Article)

    Comment on Article Mentions:   Computer Architecture   Microsoft Research   Simon Peyton Jones

  18. afp-arrows.pdf (application/pdf Object)

    cs.chalmers.se (Feb 14 2008) Explore Article

    ...embedding a microarchitectural design language within Haskell. In ICFP, pages 60–69, Paris, 1999. ACM Press. 13. Sheng Liang, Paul Hudak, and Mark P. Jones. Monad transformers and modular interpreters. In Sy......R0416, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, 2004. 20. Simon Peyton-Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalised algebraic ... (Read Full Article)

    Comment on Article Mentions:   Peter Thiemann   Benjamin C. Pierce   Jeremy Gibbons

  19. Lock Free Data Structures using STM in Haskell

    Microsoft Research Home (Feb 4 2008) Explore Article

    Anthony Discolo1, Tim Harris2, Simon Marlow2, Simon Peyton Jones2, Satnam Singh1 Microsoft, One Microsoft Way, Redmond, WA 98052, USA {adiscolo, satnams}@microsoft.......AN conference on Object-oriented programing, systems, languages, and applications, pages 388–402. ACM Press, 2003. 5. M. P. Herlihy, V. Luchangco, M. Moir, and W. M. Scherer. Software transactional memory fo... (Read Full Article)

    Comment on Article Mentions:   Microsoft Research   Haskell STM   Simon Peyton Jones

  20. Functional Programming and 3d Games (pdf)

    Java SSH for weill (Feb 1 2008) Explore Article

    ...evin Flood, Game Unified Process (GUP) http://www.gamedev.net/reference/articles/article1940.asp [3]Simon Peyton Jones. http://www.haskell.org/aboutHaskell.html [4]Conal Elliott, An Embedded Modeling Language Approach ...... of the 2003 ACM SIGPLAN Haskell Workshop (Haskell'03), pages 7 - 18, Uppsala, Sweden, August 2003. ACM Press. [10]George Russell. Email message, subject: Fruit & co, February 2003. Message posted on the Hask... (Read Full Article)

    Comment on Article Mentions:   Microsoft Research   ACM Press   Don Stewart

  21. DSL Implementation in MetaOCaml , Template Haskell , and C++

    cs.rice.edu (Jan 30 2008) Explore Article

    ...itors, Generic Programming. Proceedings, volume 1766 of LNCS, pages 25–39. Springer-Verlag, 2000. Simon Peyton Jones (ed.). Haskell 98 language and libraries. Journal of Functional Programming, 13(1):1–255, January......ng for Haskell. In Manuel M. T. Chakravarty, editor, ACM SIGPLAN Haskell Workshop 02, pages 1–16. ACM Press, October 2002. 45. Yannis Smaragdakis and Don Batory. Implementing layered designs with mixin layer... (Read Full Article)

    Comment on Article Mentions:   Daniel P.   Olivier Danvy   Peter Thiemann

  22. paper.pdf (application/pdf Object)

    cs.vu.nl (Jan 27 2008) Explore Article

    ...C’82: Proceedings of the fourteenth annual ACM symposium on Theory of computing, pages 338–344. ACM Press, 1982. [7] L. Boug´ , P. Fraigniaud, A. Mignotte, and Y. Robert, editors. Proceedings of the 2nd I......mputer Architecture, FPCA’91, volume 523 of LNCS, pages 124–144. Springer-Verlag, 1991. [24] S. Peyton Jones, editor. Haskell 98 Language and Libraries – The Revised Report. Cambridge University Press, Camb... (Read Full Article)

    Comment on Article Mentions:   University of Nottingham   Oxford   Google

  23. Template Meta-programming for Haskell

    Microsoft Research Home (Jan 24 2008) Explore Article

    Tim Sheard OGI School of Science & Engineering Oregon Health & Science University Simon Peyton Jones Microsoft Research Ltd simonpj@microsoft.com sheard@cse.ogi.edu Abstract We propose a new extens......M SIGPLAN International Conference on Functional Programming (ICFP-2001), New York, September 2001. ACM Press. [9] R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proceedings of the 2000 Haskell Workshop, Montreal, ... (Read Full Article)

    Comment on Article Mentions:   Matthew Flatt   Dick Kieburtz   Sheard

  24. Programmable Concurrency in Pure and Lazy Languages

    cis.upenn.edu (Jan 15 2008) Explore Article

    ...ontinued by participating in an exciting and fruitful internship program at Microsoft Research with Simon Peyton Jones, yielding the paper “Lightweight Concurrency Primitives for GHC” (Haskell’07) [42], which was......architectures, and protocols for computer communications, pages 265–276, New York, NY, USA, 2005. ACM Press. 82 [12] Carl Bruggeman, Oscar Waddell, and R. Kent Dybvig. Representing control in the presence... (Read Full Article)

    Comment on Article Mentions:   Benjamin C. Pierce   Kathleen Fisher   Microsoft Research

1-24 of 29 // 1 2 »
Home All Articles Entities Quotes Comments Login Register Powered by HiveFire