OpenAlex
Alexei Kopylov
Author
View works
Alternate names A. Kopylov, Alexei Kopylov, Alexei Pavlovich Kopylov
Institution HRL Laboratories (United States)
Past institutions HRL Laboratories (United States), California Institute of Technology, Cornell University
H-index: 8
I10-index: 7
Works count: 18
Citations count: 188
Top works
MetaPRL – A Modular Logical Environment
2003 · Jason Hickey, Aleksey Nogin, et al. · Lecture notes in computer science
Dependent intersection: a new way of defining records in type theory
2003 · Alexei Kopylov
Type theoretical foundations for data structures, classes, and objects
2004 · Robert L. Constable, Alexei Kopylov
Key stats
year
open access
topic
type