M
Moe Masuko
Researcher at Ochanomizu University
Publications - 2
Citations - 14
Moe Masuko is an academic researcher from Ochanomizu University. The author has contributed to research in topics: Compiler & Natural number. The author has an hindex of 2, co-authored 2 publications receiving 14 citations.
Papers
More filters
Proceedings ArticleDOI
Direct implementation of shift and reset in the MinCaml compiler
Moe Masuko,Kenichi Asai +1 more
TL;DR: This paper presents a direct implementation of delimited control operators shift and reset in the MinCaml compiler and shows all the details of how composable continuations can be implemented in the PowerPC microprocessor using a stack discipline.
Journal ArticleDOI
A characterization of Moessner's sieve
TL;DR: Moessner's sieve is generalized to rank 0, it is formalized with the Coq proof assistant, generating functions for the numbers that are struck out at each iteration are presented, its left inverse is defined, and Long's theorem is touched upon, which generalizes Moesser's theorem.