Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Open IBM search field
Close
JFLA 2017
Conference paper
04 Jan 2017
Prototyping a query compiler using Coq
Related
Conference paper
Python 3 types in the wild: A tale of two type systems
Conference paper
A principled approach to GraphQL query cost analysis
Conference paper
AIMMX: Artificial Intelligence Model Metadata Extractor
Conference paper
Reactive probabilistic programming
View all publications