[–] steve_gh 1y ago ↗ You should read Simon Peyton-Jones' paper "How to write a financial contract". His starting point is the idea of a compositional language of cooking primitives. [–] dubadub 1y ago ↗ I'm quite curious to check that out, but seems that the paper I found doesn't have anything about cooking https://www.microsoft.com/en-us/research/uploads/prod/2000/0.... Is that the one you had in mind?
[–] dubadub 1y ago ↗ I'm quite curious to check that out, but seems that the paper I found doesn't have anything about cooking https://www.microsoft.com/en-us/research/uploads/prod/2000/0.... Is that the one you had in mind?
2 comments
[ 8.2 ms ] story [ 37.2 ms ] thread