کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423800 685291 2012 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Simply Typed λ-Calculus of Forward Automatic Differentiation
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Simply Typed λ-Calculus of Forward Automatic Differentiation
چکیده انگلیسی

We present an extension of the simply typed λ-calculus with pushforward operators. This extension is motivated by the desire to incorporate forward automatic differentiation, which is an important technique in numeric computing, into functional programming. Our calculus is similar to Ehrhard and Regnierʼs differential λ-calculus, but is based on the differential geometric idea of pushforward rather than derivative. We prove that, like the differential λ-calculus, our calculus can be soundly interpreted in differential λ-categories.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 286, 24 September 2012, Pages 257-272