Search Results - "Jones, Simon Peyton"

Linear Haskell: practical linearity in a higher-order polymorphic language by Bernardy, Jean-Philippe, Boespflug, Mathieu, Newton, Ryan R, Jones, Simon Peyton, Spiwack, Arnaud

“…Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper,…”
Get full text

Derivable Type Classes by Hinze, Ralf, Peyton Jones, Simon

“…Generic programming allows you to write a function once, and use it many times at different types. A lot of good foundational work on generic programming has…”
Get full text

Engineering parallel symbolic programs in GPH by Loidl, Hans-Wolfgang, Trinder, Philip W., Hammond, Kevin, Junaidu, Sahalu B., Morgan, Richard G., Peyton Jones, Simon L.

“…We investigate the claim that functional languages offer low‐cost parallelism in the context of symbolic programs on modest parallel architectures. In our…”
Get full text

Triemaps that match by Jones, Simon Peyton, Graf, Sebastian

“…The trie data structure is a good choice for finite maps whose keys are data structures (trees) rather than atomic values. But what if we want the keys to be…”
Get full text

Abstracting Denotational Interpreters by Graf, Sebastian, Jones, Simon Peyton, Keidel, Sven

“…We explore denotational interpreters: denotational semantics that produce coinductive traces of a corresponding small-step operational semantics. By…”
Get full text

Pattern Guards and Transformational Patterns by Erwig, Martin, Peyton Jones, Simon

“…We propose three extensions to patterns and pattern matching in Haskell. The first, pattern guards, allows the guards of a guarded equation to match patterns…”
Get full text

Selective Lambda Lifting by Graf, Sebastian, Jones, Simon Peyton

“…Lambda lifting is a well-known transformation, traditionally employed for compiling functional programs to supercombinators. However, more recent abstract…”
Get full text

Imprecise Exceptions, Co-Inductively by Moran, Andrew, Lassen, Søren B., Peyton Jones, Simon

“…In a recent paper, Peyton Jones et al. proposed a design for imprecise exceptions in the lazy functional programming language Haskell [PJRH+99]. The main…”
Get full text

Calculation View: multiple-representation editing in spreadsheets by Sarkar, Advait, Gordon, Andrew D., Jones, Simon Peyton, Toronto, Neil

“…Spreadsheet errors are ubiquitous and costly, an unfortunate combination that is well-reported. A large class of these errors can be attributed to the…”
Get full text

Efficient and Sound Differentiable Programming in a Functional Array-Processing Language by Shaikhha, Amir, Huot, Mathieu, Ghasemirad, Shabnam, Fitzgibbon, Andrew, Jones, Simon Peyton, Vytiniotis, Dimitrios

“…Automatic differentiation (AD) is a technique for computing the derivative of a function represented by a program. This technique is considered as the de-facto…”
Get full text

A transformation-based optimiser for Haskell by Peyton Jones, Simon L., Santos, AndréL.M.

“…Many compilers do some of their work by means of correctness-preserving, and hopefully performance-improving, program transformations. The Glasgow Haskell…”
Get full text

Trees That Grow by Najd, Shayan, Jones, Simon Peyton

“…We study the notion of extensibility in functional data types, as a new approach to the problem of decorating abstract syntax trees with additional sets of…”
Get full text

CoRGi: Content-Rich Graph Neural Networks with Attention by Kim, Jooyeon, Lamb, Angus, Woodhead, Simon, Jones, Simon Peyton, Zheng, Cheng, Allamanis, Miltiadis

“…Graph representations of a target domain often project it to a set of entities (nodes) and their relations (edges). However, such projections often miss…”
Get full text

Hashing Modulo Alpha-Equivalence by Maziarz, Krzysztof, Ellis, Tom, Lawrence, Alan, Fitzgibbon, Andrew, Jones, Simon Peyton

“…In many applications one wants to identify identical subtrees of a program syntax tree. This identification should ideally be robust to alpha-renaming of the…”
Get full text

Simultaneous Missing Value Imputation and Structure Learning with Groups by Morales-Alvarez, Pablo, Gong, Wenbo, Lamb, Angus, Woodhead, Simon, Jones, Simon Peyton, Pawlowski, Nick, Allamanis, Miltiadis, Zhang, Cheng

“…Learning structures between groups of variables from data with missing values is an important task in the real world, yet difficult to solve. One typical…”
Get full text

A Futurebus interface from off-the-shelf parts by Jones, S.L.P., Hardie, M.S.

“…A Futurebus interface design using standard parts as part of the GRIP (Graph Reduction in Parallel) project is described. The GRIP system and the IEEE P896…”
Get full text

Type variables in patterns by Eisenberg, Richard A, Breitner, Joachim, Jones, Simon Peyton

“…For many years, GHC has implemented an extension to Haskell that allows type variables to be bound in type signatures and patterns, and to scope over terms…”
Get full text

Educational Question Mining At Scale: Prediction, Analysis and Personalization by Wang, Zichao, Tschiatschek, Sebastian, Woodhead, Simon, Hernandez-Lobato, Jose Miguel, Jones, Simon Peyton, Baraniuk, Richard G, Zhang, Cheng

“…Online education platforms enable teachers to share a large number of educational resources such as questions to form exercises and quizzes for students. With…”
Get full text

Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge by Wang, Zichao, Lamb, Angus, Saveliev, Evgeny, Cameron, Pashmina, Zaykov, Yordan, Hernandez-Lobato, Jose Miguel, Turner, Richard E, Baraniuk, Richard G, Barton, Craig, Jones, Simon Peyton, Woodhead, Simon, Zhang, Cheng

“…This competition concerns educational diagnostic questions, which are pedagogically effective, multiple-choice questions (MCQs) whose distractors embody…”
Get full text

Efficient Differentiable Programming in a Functional Array-Processing Language by Shaikhha, Amir, Fitzgibbon, Andrew, Vytiniotis, Dimitrios, Jones, Simon Peyton, Koch, Christoph

“…We present a system for the automatic differentiation of a higher-order functional array-processing language. The core functional language underlying this…”
Get full text