im about halfway through designing a mostly typelevel language for derivatives contracts and a framework to produce pricing models from that
Show this thread
Awesome. Peyton Jones and Eber make one of their own in “How to write a financial contract” , i found it a pretty good read: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.7885 …pic.twitter.com/D8nFQ8wr0c
-
-
There’s some work on writing down laws as logic programs
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.