Подписаться
Kevin Hammond
Kevin Hammond
Head of Software Engineering (Cardano Core), IOG
Подтвержден адрес электронной почты в домене iohk.io - Главная страница
Название
Процитировано
Процитировано
Год
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
14671992
Algorithm+ strategy= parallelism
PW Trinder, K Hammond, HW Loidl, SLP Jones
Journal of functional programming 8 (1), 23-60, 1998
3941998
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
3661996
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
3521993
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
2851996
Haskell 98: A non-strict, purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
2481999
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
1882010
Hume: a domain-specific language for real-time embedded systems
K Hammond, G Michaelson
International Conference on Generative Programming and Component Engineering …, 2003
1862003
Report on the programming language Haskell 98
SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
1861999
Research directions in parallel functional programming
K Hammond, G Michaelson
Springer Science & Business Media, 2012
1622012
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
1342003
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, 203-251, 2003
1322003
Type classes in Haskell
C Hall, K Hammond, SP Jones, P Wadler
Programming Languages and Systems—ESOP'94: 5th European Symposium on …, 1994
1061994
Metaheuristics “in the large”
J Swan, S Adriaensen, AEI Brownlee, K Hammond, CG Johnson, A Kheiri, ...
European Journal of Operational Research 297 (2), 393-406, 2022
1032022
Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark
PH Hartel, M Feeley, M Alt, L Augustsson, P Baumann, M Beemster, ...
Journal of functional programming 6 (4), 621-655, 1996
981996
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
911992
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
871999
Report on the programming language Haskell, a non-strict purely-functional programming language
J Peterson, K Hammond
Version 1.3. Technical report, Yale University, 1996
871996
Learning spatiotemporal T-junctions for occlusion detection
N Apostoloff, A Fitzgibbon
2005 IEEE Computer Society Conference on Computer Vision and Pattern …, 2005
812005
Report on the programming language Haskell 98, a non-strict purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
Yale University, Department of Computer Science Tech Report YALEU/DCS/RR-ll06, 1999
791999
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20