Please use this identifier to cite or link to this item:
Title: Y-combinator based continuation-passing style technique in python programming
Authors: Songphon Klabwong
Keywords: Y-Combinator
Lambda Calculus
Anonymous Recursion
Issue Date: 2014
Publisher: Rajamangala University of Technology Thanyaburi. Faculty of Sciences and Technology
Abstract: Lambda calculus has the equivalent expressive power compared to the Turing model. It is the origin of the functional programming approach. One of the most important concepts is YCombinator. It enables the way to perform recursion by anonymous function. In this study, we proposed the study on Y-Combinator of typed-lambda calculus based on python language. The study shows the way implementing tail-call recursion. It employs the Continuation-Passing Style (CPS) technique to send the context of execution along with the call. As a result, the code written using CPS is guaranteed to be side-effect free. Consequently, it is efficient to be executed on concurrency environment.
Description: The 15th International Conference of International Academy of Physical Sciences
Appears in Collections:ประชุมวิชาการ (Proceedings - SCI)

Files in This Item:
File Description SizeFormat 
20-Y-Combinator based Continuation.pdfY-combinator based continuation-passing style technique in python programming741.84 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.