Scholar Home



 Follow this author
1 Follower


Citation indices
 AllSince 2009
Citations140139
h-index55
i10-index44
Citations to my articles
Citations to my articles
1-11
Title / AuthorCited by Year
Regular, shape-polymorphic, parallel arrays in Haskell
G Keller, MMT Chakravarty, R Leshchinskiy, S Peyton Jones, B Lippmeier
International Conference on Functional Programming
802010
Efficient parallel stencil convolution in Haskell
B Lippmeier, G Keller
Haskell Symposium
172011
Optimising Purely Functional GPU Programs
TL McDonell, MMT Chakravarty, G Keller, B Lippmeier
International Conference on Functional Programming
122013
Guiding parallel array fusion with indexed types
B Lippmeier, M Chakravarty, G Keller, S Peyton Jones
Haskell Symposium
102012
Type inference and optimisation for an impure world
B Lippmeier
Australian National University
72010
Witnessing Purity, Constancy and Mutability
B Lippmeier
Asian Symposium on Programming Languages and Systems
52009
Vectorisation avoidance
G Keller, MMT Chakravarty, R Leshchinskiy, B Lippmeier, S Peyton Jones
Haskell Symposium
42012
Work efficient higher-order vectorisation
B Lippmeier, MMT Chakravarty, G Keller, R Leshchinskiy, S Peyton Jones
International Conference on Functional Programming
32012
Data Flow Fusion with Series Expressions in Haskell
B Lippmeier, MMT Chakravarty, G Keller, A Robinson
Haskell Symposium
22013
Fusing Filters with Integer Linear Programming
A Robinson, B Lippmeier, G Keller
Mechanized soundness for a type and effect system with region deallocation
B Lippmeier
1-11
Dates and citation counts are estimated and are determined automatically by a computer program.
©2013 Google - About Google Scholar - All About Google - Provide feedback - My Citations