Publications
161 results found
Hankin CL, Nielson HR, 1995, New Trends in the Integration of Paradigms, Dagstuhl Seminar Report, 9538
Hankin CL, Le Metayer D, 1994, A type-based framework for program analysis, Proceedings SAS'94, Publisher: Springer
Hankin CL, Hunt S, 1994, Approximate Fixed Points in Abstract Interpretation, Science of Computer Programming, Vol: 22
Hankin CL, Le Metayer D, 1994, Lazy type inference for the strictness analysis of lists, Proceedings ESOP'94, Publisher: Springer
Hankin CL, Le Metayer D, 1994, Deriving algorithms from type inference systems: Application to strictness analysis, Proceedings 21st ACM Symposium on Principles of Programming Languages, Publisher: ACM Press
Clark D, Errington L, Hankin CL, 1994, Static Analysis of value passing process calculi, Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Publisher: IC Press
HANKIN CL, BURN GL, JONES SLP, 1986, A SAFE APPROACH TO PARALLEL COMBINATOR REDUCTION, LECTURE NOTES IN COMPUTER SCIENCE, Vol: 213, Pages: 99-110, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 3
BURN GL, HANKIN CL, ABRAMSKY S, 1986, THE THEORY OF STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS, LECTURE NOTES IN COMPUTER SCIENCE, Vol: 217, Pages: 42-62, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 16
HANKIN CL, OSMON PE, SHUTE MJ, 1985, COBWEB - A COMBINATOR REDUCTION ARCHITECTURE, LECTURE NOTES IN COMPUTER SCIENCE, Vol: 201, Pages: 99-112, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 2
Glaser H, Hankin C, Till D, 1984, Principles of Functional Programming, New Jersey, Publisher: Prentice Hall
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.