| 
|
Quote: use combinators to find the value of a financial contract; compositional, abstract valuation semantics
topics >
all references >
references i-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
Quotation Skeleton
Our combinators can be used to describe a … [financial] … to find the value of a contract. In … property of this semantics is that it is … its sub-contracts. Google-1 Google-2
Copyright clearance needed for quotation.
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)