×

zbMATH — the first resource for mathematics

Hammond, Kevin

Compute Distance To:
Author ID: hammond.kevin Recent zbMATH articles by "Hammond, Kevin"
Published as: Hammond, K.; Hammond, Kevin
External Links: ORCID
Documents Indexed: 27 Publications since 1988, including 3 Books

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 40 times in 33 Documents Cited by Year
Algorithm + strategy = parallelism. Zbl 0933.68033
Trinder, P. W.; Hammond, K.; Loidl, H.-W.; Payton Jones, S. L.
14
1998
Static determination of quantitative resource usage for higher-order programs. Zbl 1312.68039
Jost, Steffen; Hammond, Kevin; Loidl, Hans-Wolfgang; Hofmann, Martin
6
2010
Inferring cost equations for recursive, polymorphic and higher-order functional programs. Zbl 1108.68356
Vasconcelos, Pedro B.; Hammond, Kevin
5
2004
Rank regression with log gamma residuals. Zbl 0653.62020
Smith, S. P.; Hammond, K.
4
1988
Type-based allocation analysis for co-recursion in lazy functional languages. Zbl 1335.68035
Vasconcelos, Pedro; Jost, Steffen; Florido, Mário; Hammond, Kevin
2
2015
Coinductive soundness of corecursive type class resolution. Zbl 06791233
Farka, František; Komendantskaya, Ekaterina; Hammond, Kevin
1
2017
Type-based cost analysis for lazy functional languages. Zbl 1409.68067
Jost, Steffen; Vasconcelos, Pedro; Florido, Mário; Hammond, Kevin
1
2017
Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371
Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D.
1
2013
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. Zbl 1291.68027
Simões, Hugo; Vasconcelos, Pedro; Florido, Mário; Jost, Steffen; Hammond, Kevin
1
2012
Using intersection types for cost-analysis of higher-order polymorphic functional programs. Zbl 1178.68139
Simões, Hugo R.; Hammond, Kevin; Florido, Mário; Vasconcelos, Pedro
1
2007
Exploiting purely functional programming to obtain bounded resource behaviour: The Hume approach. Zbl 1156.68332
Hammond, Kevin
1
2006
Comparing parallel functional languages: Programming and performance. Zbl 1074.68541
Loidl, H.-W.; Rubio, F.; Scaife, N.; Hammond, K.; Horiguchi, S.; Klusik, U.; Loogen, R.; Michaelson, G. J.; Peña, R.; Priebe, S.; Rebón, Á. J.; Trinder, P. W.
1
2003
The dynamic properties of Hume: A functionally-based concurrent language with bounded time and space behavior. Zbl 0987.68906
Hammond, Kevin
1
2001
Research directions in parallel functional programming. Zbl 0940.68022
Hammond, Kevin (ed.); Michaelson, Greg (ed.)
1
1999
Coinductive soundness of corecursive type class resolution. Zbl 06791233
Farka, František; Komendantskaya, Ekaterina; Hammond, Kevin
1
2017
Type-based cost analysis for lazy functional languages. Zbl 1409.68067
Jost, Steffen; Vasconcelos, Pedro; Florido, Mário; Hammond, Kevin
1
2017
Type-based allocation analysis for co-recursion in lazy functional languages. Zbl 1335.68035
Vasconcelos, Pedro; Jost, Steffen; Florido, Mário; Hammond, Kevin
2
2015
Easy composition of symbolic computation software using SCSCP: a new Lingua Franca for symbolic computation. Zbl 1253.68371
Linton, S.; Hammond, K.; Konovalov, A.; Brown, C.; Trinder, P. W.; Loidl, H.-W.; Horn, P.; Roozemond, D.
1
2013
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. Zbl 1291.68027
Simões, Hugo; Vasconcelos, Pedro; Florido, Mário; Jost, Steffen; Hammond, Kevin
1
2012
Static determination of quantitative resource usage for higher-order programs. Zbl 1312.68039
Jost, Steffen; Hammond, Kevin; Loidl, Hans-Wolfgang; Hofmann, Martin
6
2010
Using intersection types for cost-analysis of higher-order polymorphic functional programs. Zbl 1178.68139
Simões, Hugo R.; Hammond, Kevin; Florido, Mário; Vasconcelos, Pedro
1
2007
Exploiting purely functional programming to obtain bounded resource behaviour: The Hume approach. Zbl 1156.68332
Hammond, Kevin
1
2006
Inferring cost equations for recursive, polymorphic and higher-order functional programs. Zbl 1108.68356
Vasconcelos, Pedro B.; Hammond, Kevin
5
2004
Comparing parallel functional languages: Programming and performance. Zbl 1074.68541
Loidl, H.-W.; Rubio, F.; Scaife, N.; Hammond, K.; Horiguchi, S.; Klusik, U.; Loogen, R.; Michaelson, G. J.; Peña, R.; Priebe, S.; Rebón, Á. J.; Trinder, P. W.
1
2003
The dynamic properties of Hume: A functionally-based concurrent language with bounded time and space behavior. Zbl 0987.68906
Hammond, Kevin
1
2001
Research directions in parallel functional programming. Zbl 0940.68022
Hammond, Kevin (ed.); Michaelson, Greg (ed.)
1
1999
Algorithm + strategy = parallelism. Zbl 0933.68033
Trinder, P. W.; Hammond, K.; Loidl, H.-W.; Payton Jones, S. L.
14
1998
Rank regression with log gamma residuals. Zbl 0653.62020
Smith, S. P.; Hammond, K.
4
1988
all top 5

Cited by 77 Authors

2 Balakrishnan, Narayanaswamy
2 Fluet, Matthew T.
2 Hammond, Kevin
2 Horstmeyer, Thomas
2 Lin, Chien-Tai
2 Loogen, Rita
2 Michaelson, Greg J.
2 Rainey, Mike
2 Reppy, John H.
2 Shaw, Adam
2 van Eekelen, Marko
2 Wu, Sam J. S.
1 Accattoli, Beniamino
1 Achten, Peter
1 Baillot, Patrick
1 Bergström, Lars B.
1 Berthold, Jost
1 Bianco, Ana M.
1 Blelloch, Guy E.
1 Brinkop, Hauke
1 Dal Lago, Ugo
1 Dieterle, Mischa
1 Draper, Norman R.
1 Florido, Mário
1 Gallagher, John P.
1 García Ben, Marta
1 Ghyselen, Alexis
1 Gibbons, Phillip B.
1 Graham-Lengrand, Stéphane
1 Grov, Gudmund
1 Haemmerlé, Rémy
1 Hainry, Emmanuel
1 Hansen, Michael Reichhardt
1 Harper, Robert
1 Hermenegildo, Manuel V.
1 Hidalgo-Herrero, Mercedes
1 Hoffmann, Jan-Philipp
1 Horváth, Zoltán
1 Jakšić, Svetlana
1 Johann, Patricia
1 Jost, Steffen
1 Kesner, Delia
1 Klemen, M.
1 Komendantskaya, Ekaterina
1 Koopman, Pieter
1 Lichtman, Benjamin
1 Liqat, Umer
1 López-García, Pedro
1 Minimair, Manfred
1 Miyamoto, Atsushi
1 Montenegro, Manuel
1 Morazán, Marco T.
1 Nakahira, Kenji
1 Nipkow, Tobias
1 Ortega-Mallén, Yolanda
1 Padovani, Luca
1 Péchoux, Romain
1 Peña, Ricardo
1 Petit, Barbara
1 Phan, Anh-Dung
1 Plasmeijer, Rinus
1 Power, John
1 Rabanal, Pablo
1 Rodríguez, Ismael
1 Rubio, Fernando
1 Sabel, David
1 Schmidt-Schauß, Manfred
1 Segura, Clara
1 Serrarens, Pascal R.
1 Shkaravska, Olha
1 Spoonhower, Daniel
1 van Kesteren, Ron
1 Vasconcelos, Pedro B.
1 Voigtlander, Janis
1 Yohai, Víctor Jaime
1 Zerny, Ian
1 Zsók, Viktória

Citations by Year