Composing contracts: An adventure in financial engineering functional pearl

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2000, Pages 280-292

  Jones, Simon Peyton ^a   Eber, Jean Marc ^a   Seward, Julian ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONTRACTS; FINANCIAL DATA PROCESSING;

FINANCIAL ENGINEERING; LAZY EVALUATION;

COMPUTATIONAL LINGUISTICS;

EID: 0034545065     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)