Publications

2 results at JFLA 2017

Prototyping a query compiler using Coq
- - Joshua S. Auerbach
  - Martin Hirzel
  - et al.
- 2017
- JFLA 2017
Conference paper
CloudLens, a scripting language to analyze semi-structured textual data
- - Guillaume Baudart
  - Louis Mandel
  - et al.
- 2017
- JFLA 2017
Conference paper