11
Publications
881
Citations
10
H-Index
2003
Active since
Geoffrey Washburn is an author at California University of Pennsylvania specializing in formal methods, computer science, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationSoftware AnalysisAutomated ReasoningSoftware DesignSoftware EngineeringVerification
Publications per year
2003–2015
11
11
Simple unification-based type inference for GADTs
Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · 2006 · 335 citations
Engineering, Data Type, Data Science +13
Design and Implementation of the LogicBlox System
Molham Aref, Balder ten Cate, Todd J. Green et al. · 2015 · 225 citations
Daniel S. Dantas, David Walker, Geoffrey Washburn et al. · ACM Transactions on Programming Languages and Systems · 2008 · 49 citations · Full text
Simple unification-based type inference for GADTs
Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · ACM SIGPLAN Notices · 2006 · 46 citations
Data Types, Engineering, Data Type +14
Rows per page
1–5 of 11