Washburn, Geoffrey
LogicBlox, Atlanta, GA, USA
2 papers on CoChat
Most cited papers
- Verified
Simple unification-based type inference for GADTs
Peyton Jones, S., Vytiniotis, D., Weirich, S., & Washburn, G. (2006) · Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Logic, programming, and type systemsAdvanced Database Systems and Queries
Cited by 335
- Verified
Design and implementation of the LogicBlox system
Aref, M., ten Cate, B., Green, T. J., Kimelfeld, B., Olteanu, D., Pasalic, E., Veldhuizen, T. L., & Washburn, G. (2015) · Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data
Advanced Software Engineering MethodologiesAdvanced Database Systems and Queries
Cited by 233
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free