Skip to content

Instantly share code, notes, and snippets.

Created June 26, 2017 05:33
Show Gist options
  • Save anonymous/343672a4f1d3f2b4a84b9f296f2a62b6 to your computer and use it in GitHub Desktop.
Save anonymous/343672a4f1d3f2b4a84b9f296f2a62b6 to your computer and use it in GitHub Desktop.
simon peyton jones papers
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/demand-jfp-draft.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/cardinality-jfp-2.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/trees-that-grow-2.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/levity-1.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/join-points-pldi17.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/dps-submitted.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/bolingbroke-thesis.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/10/wand-book-chapter.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/10/cont-frac-spj-1984-2.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/tc_diagnost.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/tacc-hs09.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/pattern-synonyms-Haskell16.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/parade-final.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/lazy-profiling.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/giving-a-talk.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/gadtpm-acm.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/dynamic.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/desugaring-haskell-haskell16.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/cpe.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/warm-fusion.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/vectorisation-avoidance-hw12.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/typefun.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/tic2000-upoly.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/termination-combinators.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/supercomp-by-eval.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/stm-invariants.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/state-lasc.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/spec-constr.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/sig132-brown.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/remote.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ppdp.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/popl137-eisenberg.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/pat.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/matrix-study.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/mark.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/lwc-jfp16.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/lw-conc.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/local-gc.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/injective-type-families-acm.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ifl2007.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/if.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/icfp60-lippmeier.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/icfp2003.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/hoopl-haskell10.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/history.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/hdirect.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/hcc-popl.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/haskellobjectio.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/haskell12-lippmeier.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/haskell-beats-C.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/green-card-1.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/gmap3.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/fsttcs2008.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/fc-normalization-rta.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/fc-new-tyco.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/excel.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/excel-1.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/eval-apply.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/design-space.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/deforestation-short-cut.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/cpr.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/contracts-icfp.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/comserve.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/com.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/coercible.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/c-exn-pldi.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/c-concurrency.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/backpack.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/backpack-2016.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/asynch-exns.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/aspects.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/Stencil.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/STMTokyoApr10.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/RArrays.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/LiquidHaskell_ICFP14.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/Haskell-Erlang-Jun09.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ECOOP-July09.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/DebugTraces.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/ComputingAtSchoolCACM.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/CS-98-19.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/04/sequent-calculus-icfp16.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/03/hadrian.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/tldi10-vytiniotis.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/scoped.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/putting.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/popl163af-weirich.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/parallel_haskell2.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/p53-yorgey.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/overloading_conf.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/old-wobbly.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/meta-haskell.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/jfp06.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/jfp-outsidein.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/gadt-pldi.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/fph-long.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/first_class_modules.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/boxy-icfp.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/beautiful.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/01/picture.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2014/01/cardinality-popl14.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2012/01/safe-haskell.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2012/01/icfp12.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2012/01/aos.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2011/01/monad-par.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/multicore-ghc.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2009/09/implication_constraints.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2008/08/HaskellContract.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2008/06/par-gc-ismm08.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2008/01/partial-vect.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2008/01/icfp2008.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2007/10/ptr-tagging.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2007/09/list-comp.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2007/01/tldi22-sulzmann-with-appendix.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2007/01/ndp.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2006/07/demand-1.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2006/04/2006-flops.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2006/01/not-not-ml.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2005/09/2005-haskell.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/jfp-revised.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/at-syns.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2005/01/2005-ppopp-composable.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2004/10/exploringbarriertoentry.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2004/09/gmap2.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2004/09/conc-ffi.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2004/01/esop04.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2003/01/hmap.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2002/07/inline.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2001/09/rules.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2000/09/derive.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2000/01/non-stop.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/2000/01/gph-europar00.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1999/09/stretching.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1999/05/except.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1999/01/recpro.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1999/01/imprecise-exceptions.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1999/01/Technical-Report-Version.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1998/09/comp-by-trans-scp.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/strategies.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/pal-manual.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/new-rts.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/neutral.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/dyntyping.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1998/01/arch-indep.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/profiling-toplas.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/pal-ifl.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/multi.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/henk.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1997/01/aqua-final.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1996/09/collections.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1996/05/float.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1996/01/concurrent-haskell.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1996/01/comp-by-trans.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1996/01/Nicklisch-modules.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1995/09/gum-pldi.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1995/09/composing-haggis.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1995/01/profiling-popl95.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1994/06/lazy-functional-state-threads.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1994/04/classhask.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1993/06/processing_transactions.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1993/03/grasp-jfit.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1993/01/simple-strictnes-analyser.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1993/01/imperative.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1993/01/gen-gc-for-haskell.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1992/09/grip-scheduling.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1992/01/student.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/06/grip-database.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/05/fully-lazy-lambda-lifter.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/03/A-Static-Semantics-for-Haskell_small.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1991/01/unboxed-values.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1989/08/asynch-fsm.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1989/08/asynch-fsm.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1989/04/parallel_imp.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1987/09/GRIP.pdf
https://www.microsoft.com/en-us/research/wp-content/uploads/1987/01/slpj-book-1987-small.pdf
http://www.haskell.org/~simonmar/papers/ptr-tagging.pdf
http://www.haskell.org/~simonmar/papers/parallel-gc.pdf
http://www.haskell.org/~simonmar/papers/nonstop.pdf
http://www.haskell.org/~simonmar/papers/inline.pdf
http://www.haskell.org/~simonmar/papers/conc-ffi.pdf
http://www.haskell.org/~simonmar/papers/assoc.pdf
http://www.haskell.org/~simonmar/papers/ExploringBarrierToEntry.pdf
http://www.dcs.gla.ac.uk/~muffy/SPJ_oration.pdf
http://dx.doi.org/10.1145/2535838.2535884
http://dx.doi.org/10.1145/2500365.2500601
http://community.haskell.org/~simonmar/papers/safe-haskell.pdf
http://community.haskell.org/~simonmar/papers/monad-par.pdf
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment