Principles of functional programming

Authors:
Hugh Glaser;Chris Hankin;David Till
Affiliations:
King's College, Univ. of London;Imperial College of Science and Technology, Univ. of London;King's College, Univ. of London
Venue:
Principles of functional programming
Year:
1984

Citing 0
Cited 6

Verification of Ada 1/0 statements

ACM SIGCSE Bulletin
Never mind the language, what about the paradigm?

SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Projecting functional models of imperative programs

ACM SIGPLAN Notices
Executing an SECD machine using logic programming

SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Diverse executable semantics definitions in NUSL and an implementation of functional types

ACM SIGPLAN Notices
Functional semantics of microprocessors at the microprogram level and correspondence with the machine instruction level

EURO-DAC '90 Proceedings of the conference on European design automation

Quantified Score

Hi-index	0.00

Visualization

Abstract