Tristan Crolard (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher: Extending the loop language with higher-order procedural variables. ACM Trans. Comput. Log. 10(4): (2009)

7 Tristan Crolard, Emmanuel Polonowski: A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables CoRR abs/0910.1020: (2009)

Selection of 2 from 8 records - Tristan Crolard has 5 coauthors

8		Tristan Crolard, Emmanuel Polonowski, Pierre Valarcher: Extending the loop language with higher-order procedural variables. ACM Trans. Comput. Log. 10(4): (2009)
7		Tristan Crolard, Emmanuel Polonowski: A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables CoRR abs/0910.1020: (2009)