Satoshi Egi

12 papers B 1Journal 10Unranked 1

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell. New Gener. Comput. Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa
2020	J	`jnl`	Functional Programming in Pattern-Match-Oriented Programming Style. CoRR Satoshi Egi, Yuichi Nishiwaki
2020	J	`jnl`	Functional Programming in Pattern-Match-Oriented Programming Style. Art Sci. Eng. Program. Satoshi Egi, Yuichi Nishiwaki
2020	—	`conf`	Pattern-match-oriented proof writing language. Programming Satoshi Egi
2019	J	`jnl`	Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types. CoRR Satoshi Egi
2018	J	`jnl`	Loop Patterns: Extension of Kleene Star Operator for More Expressive Pattern Matching against Arbitrary Data Structures. CoRR Satoshi Egi
2018	B	`conf`	Non-linear Pattern Matching with Backtracking for Non-free Data Types. APLAS Satoshi Egi, Yuichi Nishiwaki
2018	J	`jnl`	Non-linear Pattern Matching with Backtracking for Non-free Data Types. CoRR Satoshi Egi, Yuichi Nishiwaki
2018	J	`jnl`	Scalar and Tensor Parameters for Importing the Notation in Differential Geometry into Programming. CoRR Satoshi Egi
2017	J	`jnl`	Scalar Functions and Tensor Functions: A Method to Import Tensor Index Notation Including Einstein Summation Notation. CoRR Satoshi Egi
2015	J	`jnl`	Egison: Non-Linear Pattern-Matching against Non-Free Data Types. CoRR Satoshi Egi
2014	J	`jnl`	Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping. CoRR Satoshi Egi