CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Nogin-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 | 2003
Number of items: 7.

2006

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

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 (2006) OMake: Designing a Scalable Build Process. Computer Science Technical Reports, 2006.002. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TH8JPF. (Submitted) https://resolver.caltech.edu/CaltechCSTR:2006.001

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

2003

Hickey, Jason and Nogin, Aleksey and Granicz, Adam (2003) Compiler implementation in a formal logical framework. In: MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. ACM , New York, NY. ISBN 1-58113-800-8. https://resolver.caltech.edu/CaltechAUTHORS:20161102-171842275

Hickey, Jason and Nogin, Aleksey and Granicz, Adam et al. (2003) Formal Compiler Implementation in a Logical Framework. California Institute of Technology , Pasadena, CA. doi:10.7907/Z98K7720. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.002

This list was generated on Sat Aug 15 04:24:05 2020 PDT.