Programming chatbots in OCaml with Watson Conversation Service
- Guillaume Baudart
- Louis Mandel
- et al.
- 2018
- JFLA 2018
Publications
Date
Featured collections
Popular topics
26 results for Jérôme Siméon
Generating chat bots from web API specifications
- 2017
- Onward! 2017
Q∗cert: A platform for implementing and verifying query compilers
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- SIGMOD 2017
I can parse you: Grammars for dialogs
- Martin Hirzel
- Louis Mandel
- et al.
- 2017
- SNAPL 2017
Prototyping a query compiler using Coq
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- JFLA 2017
Virtual lightweight snapshots for consistent analytics in NoSQL stores
- Fernando Chirigati
- Jérôme Siméon
- et al.
- 2016
- ICDE 2016
A pattern calculus for rule languages: Expressiveness, compilation, and mechanization
- Avraham Shinnar
- Jérôme Siméon
- et al.
- 2015
- ECOOP 2015
Static and dynamic semantics of NoSQL languages
- Véronique Benzaken
- Giuseppe Castagna
- et al.
- 2013
- POPL 2013
Entity matching for semistructured data in the Cloud
- Marcus Paradies
- Susan Malaika
- et al.
- 2012
- SAC 2012