Kevin Hammond
Kevin Hammond
Technology Manager, IOHK
Bestätigte E-Mail-Adresse bei iohk.io - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
P Hudak, S Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, ...
ACM SigPlan notices 27 (5), 1-164, 1992
13971992
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
P Hudak, S Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, ...
ACM SigPlan notices 27 (5), 1-164, 1992
13971992
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
P Hudak, S Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, ...
ACM SigPlan notices 27 (5), 1-164, 1992
12361992
Introduction: In search of consolidation
L Diamond
Consolidating the Third Wave Democracies: Themes and Perspectives, xiv-xvii, 1997
690*1997
Algorithms+ strategy= parallelism
PW Trinder, K Hammond, HW Loidl, SLP Jones
Journal of functional programming 8 (1), 23-60, 1998
3811998
The Glasgow Haskell compiler: a technical overview
SLP Jones, C Hall, K Hammond, W Partain, P Wadler
Proc. UK Joint Framework for Information Technology (JFIT) Technical …, 1993
3181993
The Glasgow Haskell compiler: a technical overview
SLP Jones, C Hall, K Hammond, W Partain, P Wadler
Proc. UK Joint Framework for Information Technology (JFIT) Technical …, 1993
3181993
Type classes in Haskell
CV Hall, K Hammond, SL Peyton Jones, PL Wadler
ACM Transactions on Programming Languages and Systems (TOPLAS) 18 (2), 109-138, 1996
2971996
GUM: a portable parallel implementation of Haskell
PW Trinder, K Hammond, JS Mattson Jr, AS Partridge, SL Peyton Jones
ACM SIGPLAN Notices 31 (5), 79-88, 1996
2731996
Haskell 98—A Non− strict ‚Purely Functional Language
P Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, S Fraser, ...
Available from http://www. haskell. org/definition/, 1999
2321999
Report on the programming language Haskell 98
SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
1781999
A randomized controlled trial of cognitive-behavior therapy for persistent symptoms in schizophrenia: a five-year follow-up
D Turkington, T Sensky, J Scott, TRE Barnes, U Nur, R Siddle, ...
Schizophrenia Research 98 (1-3), 1-7, 2008
1712008
Hume: a domain-specific language for real-time embedded systems
K Hammond, G Michaelson
International Conference on Generative Programming and Component Engineering …, 2003
1672003
Research directions in parallel functional programming
K Hammond, G Michaelson
Springer Science & Business Media, 2012
1512012
Report on the functional programming language Haskell
P Hudak
YALEU/DCS/RR656, 1988
1431988
Static determination of quantitative resource usage for higher-order programs
S Jost, K Hammond, HW Loidl, M Hofmann
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
1412010
Comparing parallel functional languages: Programming and performance
HW Loidl, F Rubio, N Scaife, K Hammond, S Horiguchi, U Klusik, ...
Higher-Order and Symbolic Computation 16 (3), 203-251, 2003
1252003
Inferring cost equations for recursive, polymorphic and higher-order functional programs
PB Vasconcelos, K Hammond
Symposium on Implementation and Application of Functional Languages, 86-101, 2003
1182003
Report on the functional programming language Haskell, version 1.2
P Hudak, SP Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, MM Gusmán, ...
SIGPLAN Notices 27 (5), 2, 1992
1041992
Type classes in Haskell
C Hall, K Hammond, SP Jones, P Wadler
European Symposium On Programming, 241-256, 1994
1021994
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20