Volume 11 Number 2 (Feb. 2016)
Home > Archive > 2016 > Volume 11 Number 2 (Feb. 2016) >
JSW 2016 Vol.11(2): 220-229 ISSN: 1796-217X
doi: 10.17706/jsw.11.2.220-229

Let-Binding with Regular Expressions in Lambda Calculus

Takuya Ohata, Shin-ya Nishizaki*
Department of Computer Science, Tokyo Institute of Technology, 2-12-1-W8-69, Ookayama, Meguro, Tokyo 152-8552, Japan.

Abstract—We often give proper names to variables in programs based on their types, usages, and means, and the regularity and there are several kinds of conventions for variable-naming in programming languages. For example, we use variables i, j, k or i1, i2, i3 for thevariables of integer type. In this paper, we propose let-binding mechanism by which you can declare multiple variables simultaneously using regular expressions. We formalize this variable binding mechanism in the framework of the lambda calculus: we propose a lambda calculus with the regular expression let-bindings and a simple type system to the calculus in the style of Curry. We then study the calculus and the type system from the theoretical viewpoint.

Index Terms—Programming language design, functional programming language, regular expression, variable declaration.


Cite: Takuya Ohata, Shin-ya Nishizaki, "Let-Binding with Regular Expressions in Lambda Calculus," Journal of Software vol. 11, no. 2, pp. 220-229, 2016.

General Information

ISSN: 1796-217X (Online)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Nov 18, 2021 News!

    Papers published in JSW Vol 16, No 1- Vol 16, No 6 have been indexed by DBLP   [Click]

  • Dec 24, 2021 News!

     Vol 15, No 1- Vol 15, No 6 has been indexed by IET-(Inspec)   [Click]

  • Nov 18, 2021 News!

    [CFP] 2022 the annual meeting of JSW Editorial Board, ICCSM 2022, will be held in Rome, Italy, July 21-23, 2022   [Click]

  • Nov 25, 2022 News!

    Vol 17, No 6 has been published with online version     [Click]