• Sign in
  • Sign up
conf.researchr.org / Satoshi Egi
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • ‹Programming› 2020 profile
  • ‹Programming› 2021 profile
Satoshi Egi

Registered user since Mon 31 Jul 2017

Name:Satoshi Egi
Country:Japan
Affiliation:Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo
Personal website: https://www.egison.org/~egi/
Research interests:Programming Languages

Contributions

2021

‹Programming›

  • Author of Functional Programming in Pattern-Match-Oriented Programming Style within the Research Papers-track

2020

HIW

  • Author of Sweet Egison: a Haskell Library for Non-Deterministic Pattern Matching within the HIW 2020-track

‹Programming›

  • Author of Functional Programming in Pattern-Match-Oriented Programming Style within the Research Papers-track
  • Author of Pattern-Match-Oriented Proof Writing Language within the Student Research Competition-track

2019

Scheme

  • Author of Scheme Macros for Non-linear Pattern Matching with Backtracking for Non-free Data Types within the Scheme 2019-track

2018

Scheme

  • Author of Loop Patterns: Extension of Kleene Star Operator for More Powerful Pattern Matching against Arbitrary Data Structures within the Scheme 2018-track

2017

Scheme

  • Author of Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation within the Scheme 2017-track
Share
xTue 20 May 21:07
using conf.researchr.org (v1.69.0)
Support page
Sign Up