2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 2 cited
Formalization of Automated Trading Systems in a Concurrent Linear Framework
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…
cs.LO2015
Proceedings Third International Workshop on Linearity
Sandra Alves, Iliano Cervesato
This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day sat…