Mary Sheeran
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- Lambda Days2 editions2017–2018
all 4 in the filters
on a stage with
who talks about the same things
- John Hughes15 talks
- Noel Welsh16 talks
- Venkat Subramaniam243 talks
- Scott Wlaschin25 talks
- Tony Morris16 talks
- Eric Normand9 talks
| title | conference | date |
|---|---|---|
| Efficient GPU Implementation of Affine Index Permutations on Arrays | FHPNC 2023 | 2023-09-04 |
Presents GPU kernels that implement BMMC (bit-matrix-multiply-complement) index permutations with performance comparable to as fast as a simple array copy… | ||
| Let's get more women into computer science | Code Mesh LDN 2019 | 2019-11-07 |
University launches Genie initiative with 300 million kronor to raise female faculty to 40% in ten years, targeting a pipeline that had just 7% female entrants… | ||
| In Praise of Higher Order Functions | Lambda Days 2018 | 2018-02-22 |
Argues that map fold scan are not just concepts but calculational tools: Haskell code, GHC rewrite rules and QuickSpec find and exploit laws; list fusion via… | ||
| Keynote: Why Functional Programming Matters | Lambda Days 2017 | 2017-02-09 |
A clear inventory of concrete claims and outcomes: Church encodings and lazy evaluation enable whole-value designs; a DARPA comparison yields 85 lines of… | ||
| Keynote: Why Functional Programming Matters | Code Mesh 2015 | 2015-11-03 |
Claims that functions can replace booleans and integers via Church encodings, that lazy infinite lists let producers supply whole values on demand for… | ||
| nothing matches | ||