Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Satoshi Egi
Map detail
Satoshi Egi5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipSatoshi EgiASatoshi EgiResearcherSymbolical Index Reduction and Completion Rules for Importing Tensor Index Notation into Programming LanguagesWSymbolical Index Reduct...preprint / 2021Functional Programming in Pattern-Match-Oriented Programming StyleWFunctional Programming ...preprint / 2020Non-Linear Pattern-Matching against Unfree Data Types with Lexical ScopingWNon-Linear Pattern-Matc...preprint / 2014Egison: Non-Linear Pattern-Matching against Non-Free Data TypesWEgison: Non-Linear Patt...preprint / 2015
Person4 links

Satoshi Egi

Researcher