PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hammond, Kevin"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Your CASH Flow: The Computer Algebra SHell.

, , , and . IFL, volume 6647 of Lecture Notes in Computer Science, page 169-184. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kevin Gutsche University of Stuttgart

Kevin Bareiß University of Stuttgart

Kevin Schlegel University of Stuttgart

Kevin Treptow University of Stuttgart

Dr. Kevin Kempke University of Stuttgart

 

Other publications of authors with the same name

Parallel heuristic search in Haskell., , and . Scottish Functional Programming Workshop, volume 2 of Trends in Functional Programming, page 65-76. Intellect, (2000)Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework., , , , and . ISPDC, page 143-150. IEEE Computer Society, (2007)On the Granularity of Divide-and-Conquer Parallelism., and . Functional Programming, page 8. Springer, (1995)Implementing Haskell Type Classes., and . Functional Programming, page 266-286. Springer, (1989)The Peter Landin prize., and . Higher-Order and Symbolic Computation, 22 (4): 305-312 (2009)Resource analyses for parallel and distributed coordination., , , , and . Concurrency and Computation: Practice and Experience, 25 (3): 309-348 (2013)Automatic Skeletons in Template Haskell., , and . Parallel Processing Letters, 13 (3): 413-424 (2003)Discovering parallel pattern candidates in Erlang., , , , , , , , , and . Erlang Workshop, page 13-23. ACM, (2014)Worst-Case Execution Times for a Purely Functional Language., , , and . IFL, volume 4449 of Lecture Notes in Computer Science, page 235-252. Springer, (2006)Towards resource-certified software: a formal cost model for time and its application to an image-processing example., , , , , and . SAC, page 1307-1314. ACM, (2007)