| 
|
QuoteRef: joneSP9_2000
topics >
all references >
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
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
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)