2 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
Iliano Cervesato, Sharjeel Khan, Giselle Reis +1
We present a declarative and modular specification of an automated trading system (ATS) in the concurrent linear framework CLF. We implemented it in Celf, a CLF type checker which…