Map
Index
Random
Help
th

QuoteRef: joneSP9_2000

topics > all references > ThesaHelp: references i-l



ThesaHelp:
references i-l
ThesaHelp:
ACM references f-l
Topic:
formal methods and languages
Topic:
abstraction in programming
Topic:
higher-order functions and combinators
Topic:
semantics by an abstract machine
Topic:
reduction machines
Topic:
names as abbreviations for descriptions
Topic:
commitment
Topic:
economics
Topic:
functional programming

Reference

Jones, S.P., Eber, J.-M., Seward, J., "Composing contracts: an adventure in financial engineering", Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 2000, pp. 280-292. Google

Quotations
280 ;;Quote: use combinators to find the value of a financial contract; compositional, abstract valuation semantics
282 ;;Quote: a financial contract has an acquisition date and an horizon or expiry date; (truncate t c) trims t's horizon to c
282 ;;Quote: contracts in terms of observables; i.e., time-varying, objective measurements; e.g., temperature in LA
284 ;;Quote: choose to acquire a financial contract (anytime u) or choose either contract (or)
291 ;;Quote: functional languages will evaluate both branches of 'and' even if they are the same; nasty practical problem


Related Topics up

ThesaHelp: references i-l (342 items)
ThesaHelp: ACM references f-l (241 items)
Topic: formal methods and languages (53 items)
Topic: abstraction in programming (67 items)
Topic: higher-order functions and combinators (19 items)
Topic: semantics by an abstract machine (38 items)
Topic: reduction machines (14 items)
Topic: names as abbreviations for descriptions (35 items)
Topic: commitment (31 items)
Topic: economics (21 items)
Topic: functional programming (43 items)

Collected barberCB 2/01
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.