research
∙
02/14/2020
Functional Programming in Pattern-Match-Oriented Programming Style
Throughout the history of functional programming, recursion has emerged ...
share
research
∙
11/12/2019
Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types
Pattern matching is an important feature of programming languages for da...
research
∙
09/10/2018
Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures
The Kleene star operator is an important pattern construct for represent...
research
∙
08/31/2018
Non-linear Pattern Matching with Backtracking for Non-free Data Types
Non-free data types are data types whose data have no canonical forms. F...
research
∙
04/09/2018
Scalar and Tensor Parameters for Importing the Notation in Differential Geometry into Programming
This paper proposes a method for importing tensor index notation, includ...
research
∙
02/21/2017