CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Kopylov-A"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2006 | 2005
Number of items: 4.

2006

Hickey, Jason and Nogin, Aleksey and Yu, Xin et al. (2006) Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. In: ICFP '06 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming. ACM , New York, NY, pp. 172-183. ISBN 1-59593-309-3. https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823

Hickey, Jason and Nogin, Aleksey and Yu, Xin et al. (2006) Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ACM SIGPLAN Notices, 41 (9). pp. 172-183. ISSN 0362-1340. https://resolver.caltech.edu/CaltechAUTHORS:20161103-125705148

2005

Nogin, Aleksey and Kopylov, Alexei and Yu, Xin et al. (2005) A computational approach to reflective meta-reasoning about languages with bindings. In: MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. ACM , New York, NY, pp. 2-12. ISBN 1-59593-072-8. https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536

Nogin, Aleksey and Kopylov, Alexei and Xin, Yu et al. (2005) A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings. Computer Science Technical Reports, 2005.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9K0728J. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.003

This list was generated on Thu Aug 6 23:19:50 2020 PDT.