User loginNavigation |
Combinators for contractsThe work of Peyton Jones and Eber on specifying financial contracts with combinators (How to write a financial contract) has often cropped up here, but hasn't, I think, ever had its own story. Since Yale has a vistor, Christian Stefenson, presenting a talk on Enterprise Resource Planning ( A Declarative Framework for Enterprise Systems), which based on the work of Peyton Jones & Eber, I thought it might be timely to raise this very interesting idea. Some links
By Charles Stewart at 2006-02-03 15:24 | LtU Forum | previous forum topic | next forum topic | other blogs | 19718 reads
|
Browse archivesActive forum topics |
Recent comments
1 week 6 days ago
1 week 6 days ago
2 weeks 6 days ago
3 weeks 13 hours ago
3 weeks 18 hours ago
3 weeks 18 hours ago
3 weeks 18 hours ago
3 weeks 6 days ago
4 weeks 20 min ago
4 weeks 4 hours ago