Concepedia

Alexei Kopylov

AK

Statistics

Publications

5

Citations

103

H-Index

5

Active since

2003

Affiliations

California Institute of Technology(Current)

Alexei Kopylov is an author at California Institute of Technology specializing in computer science, computing, and type theory.

Publications per year

2003–2006

5

Publications

5

Dependent intersection: a new way of defining records in type theory

Alexei Kopylov · 2003 · 46 citations

Computing, Computer Science, Mathematics +13

Type theoretical foundations for data structures, classes, and objects

Robert L. Constable, Alexei Kopylov · 2004 · 18 citations

Computing, Computer Science, Data Structures +13

Formalizing Type Operations Using the “Image” Type Constructor

Aleksey Nogin, Alexei Kopylov · Electronic Notes in Theoretical Computer Science · 2006 · 14 citations · Full text

Computing, Computer Science, Formal Methods +16

A computational approach to reflective meta-reasoning about languages with bindings

Aleksey Nogin, Alexei Kopylov, Xin Yu et al. · 2005 · 14 citations

Computing, Computer Science, Formal Methods +11

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection

Jason Hickey, Aleksey Nogin, Xin Yu et al. · 2006 · 11 citations

Computing, Computer Science, Logic +10

1–5 of 5