119 results on '"SIMON PEYTON JONES"'
Search Results
2. The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming.
3. CoRGi: Content-Rich Graph Neural Networks with Attention.
4. Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.
5. Triemaps that match.
6. Hashing modulo alpha-equivalence.
7. Educational Question Mining At Scale: Prediction, Analysis and Personalization.
8. Simultaneous Missing Value Imputation and Structure Learning with Groups.
9. Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge.
10. Efficient and Sound Differentiable Programming in a Functional Array-Processing Language.
11. Codata in Action.
12. Making a faster Curry with extensional types.
13. A quick look at impredicativity.
14. Kinds are calling conventions.
15. Lower your guards: a compositional pattern-match coverage checker.
16. Guarded impredicative polymorphism.
17. Calculation View: multiple-representation editing in spreadsheets.
18. Type variables in patterns.
19. Results and Insights from Diagnostic Questions: The NeurIPS 2020 Education Challenge.
20. VICause: Simultaneous Missing Value Imputation and Causal Discovery with Groups.
21. CoRGi: Content-Rich Graph Neural Networks with Attention.
22. Efficient differentiable programming in a functional array-processing language.
23. Higher-order type-level programming in Haskell.
24. Levity polymorphism.
25. Destination-passing style for efficient memory management.
26. Build systems à la carte.
27. Linear Haskell: practical linearity in a higher-order polymorphic language.
28. Large-Scale Educational Question Analysis with Partial Variational Auto-encoders.
29. Diagnostic Questions: The NeurIPS 2020 Education Challenge.
30. A Reflection on Types.
31. Sequent calculus as a compiler intermediate language.
32. Desugaring Haskell's do-notation into applicative operations.
33. Pattern synonyms.
34. Non-recursive make considered harmful: build systems at scale.
35. Exploiting vector instructions with generalized stream fusion.
36. Trees that Grow.
37. Selective Lambda Lifting.
38. Efficient Differentiable Programming in a Functional Array-Processing Language.
39. Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays.
40. Build systems à la carte: Theory and practice.
41. Linear Haskell: practical linearity in a higher-order polymorphic language.
42. Template meta-programming for Haskell.
43. Scripting COM components in Haskell.
44. Trees That Grow.
45. How to Write a Great Research Paper.
46. Programming Reactive Systems in Haskell.
47. Compilation by Transformation in the Glasgow Haskell Compiler.
48. Measuring the effectiveness of a simple strictness analyser.
49. The dream of a lifetime: an opportunity to shape how our children learn computing.
50. Composable scheduler activations for Haskell.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.