Upload File

interview with simon peyton jones 16-06-2012

prev
next
out of 3
Download Interview With Simon Peyton Jones 16-06-2012

Upload: computingatschool

Post on 05-Apr-2018

215 views

Category:

Documents


0 download

Report

TRANSCRIPT

  • 7/31/2019 Interview With Simon Peyton Jones 16-06-2012

    1/3

  • 7/31/2019 Interview With Simon Peyton Jones 16-06-2012

    2/3

  • 7/31/2019 Interview With Simon Peyton Jones 16-06-2012

    3/3


Simon Peyton Jones Microsoft Research Joint work with Dana Xu, University of Cambridge Dec 2007

Static Contract Checking for Haskell Dana N. Xu University of Cambridge Ph.D. Supervisor: Simon Peyton Jones Microsoft Research Cambridge

TOWARDS A FINITE MODEL THEORY FOR HIGHER-ORDER PROGRAM VERIFICATION Dimitrios Vytiniotis, Koen Claessen, Simon Peyton Jones, Dan Rosén WG2.8 – Annapolis,

How to write a great research paper Seven simple suggestions Simon Peyton Jones Microsoft Research, Cambridge

Tom Schrijvers K.U.Leuven, Belgium with Manuel Chakravarty, Martin Sulzmann and Simon Peyton Jones

Papal Inquisition By: Peyton Jones & Bella Green

Kathleen Fisher cs242 Thanks to Simon Peyton Jones for some of these slides

Scrap your boilerplate: generic programming in Haskell Ralf Lämmel, Vrije University Simon Peyton Jones, Microsoft Research

Simon Peyton Jones Computing at School Working Group September 2014

Tutorial on Parallel & Concurrent Programming in Haskell, A - Simon Peyton Jones & Satnam Singh - 2009

Peyton Jones Talk

Lazy%Programming% › courses › archive › fall13 › cos... · 2013-11-13 · Serial%Killer?%%Programming%Languages%Researcher?% Simon%Peyton%Jones:%%Inventor%and%architectof%Haskell%

Simon Peyton Jones Microsoft Research. An amazing year......a rapidly evolving landscape, and a lot to do

Simon Peyton Jones (Microsoft Research) Max Bolingbroke (University of Cambridge) June 2010

Parallel garbage collection with a block-structured heap Simon Marlow (Microsoft Research) Simon Peyton Jones (Microsoft Research) Roshan James (U. Indiana)

Simon Peyton Jones Microsoft Research, Cambridgewit.tuwien.ac.at/events/peyton-jones/Giving a talk.pdf · How to give a great research talk Simon Peyton Jones Microsoft Research,

Simon Peyton Jones Microsoft Research · 2018-01-04 · Simon Peyton Jones Microsoft Research Video of this tutorial (3 hrs) ... FP styled solutions” (blog Mar 2007) 1990 1995 2000

Simon Peyton Jones: Managing parallelism

1 Optimizing memory transactions Tim Harris, Maurice Herlihy, Jim Larus, Virendra Marathe, Simon Marlow, Simon Peyton Jones, Mark Plesko, Avi Shinnar,

Simon Peyton Jones Microsoft Research, Cambridgewit.tuwien.ac.at/research/tips/good_research_talk_slides.pdf · Simon Peyton Jones Microsoft Research, Cambridge 1993 paper joint with

Wearing the hair shirt A retrospective on Haskell Simon Peyton Jones Microsoft Research, Cambridge

beautiful - research.microsoft.com€¦ · Beautiful concurrency to appear in “Beautiful code”, ed Greg Wilson, O’Reilly 2007 Simon Peyton Jones, Microsoft Research, Cambridge

Spreadsheets: functional programming for the masses Simon Peyton Jones Margaret Burnett Alan Blackwell

Simon Peyton Jones Microsoft Research, Cambridgesilvia/research-tips/Giving a talk.pdfHow to give a great research talk Simon Peyton Jones Microsoft Research, Cambridge 1993 paper

Peyton jones-2009-fun with-type_functions-slide

CSE 230 Parallelism Slides due to: Kathleen Fisher, Simon Peyton Jones, Satnam Singh, Don Stewart

Computing at school in the UK - research.microsoft.com...Computing at school in the UK Simon Peyton Jones, Microsoft Research Bill Mitchell, BCS Academy of Computing Simon Humphreys,

Simon Peyton Jones, Microsoft Research May 2017 · Laziness Laziness was Haskell’s initial rallying cry John Hughes’s famous paper “Why functional programming matters” –

HASKELL TO LOGIC THROUGH DENOTATIONAL SEMANTICS Dimitrios Vytiniotis, Koen Claessen, Simon Peyton Jones, Dan Rosén POPL 2013, January 2013 1

A Functional Primer - SDD Conferencesddconf.com/brands/sdd/library/A_Functional_Primer.pdfExcel is the world's most popular functional language. Simon Peyton-Jones . f(x) = expression

Parallel Haskell Tutorial: The Par Monad Simon Marlow Ryan Newton Simon Peyton Jones

How to write a great research grant proposal Simon Peyton Jones, Microsoft Research, Cambridge with Alan Bundy, Edinburgh University

Lightweight Concurrency in GHC KC Sivaramakrishnan Tim Harris Simon Marlow Simon Peyton Jones 1

Composing contracts An adventure in financial engineering Simon Peyton Jones and Julian Seward, Microsoft Research and Jean Marc Eber, LexiFi Technologies

Simon Peyton Jones (Microsoft Research) Norman Ramsey, John Dias (Tufts University) March 2010