Akimasa Morihata

Available identifiers

Publication	Date of Publication	Type
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing	2022-03-17	Paper
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study	2021-12-13	Paper
Optimizing declarative parallel distributed graph processing by using constraint solvers	2018-07-09	Paper
Incremental Computing with Abstract Data Structures	2016-04-04	Paper
The Essence of Ruby	2016-02-26	Paper
Syntax-Directed Divide-and-Conquer Data-Flow Analysis	2016-02-26	Paper
The third homomorphism theorem on trees	2015-07-03	Paper
A short cut to parallelization theorems	2015-03-30	Paper
Write it recursively	2015-03-16	Paper
Generalising and dualising the third list-homomorphism theorem	2015-03-05	Paper
Balanced trees inhabiting functional parallel programming	2015-03-05	Paper
Dynamic Programming via Thinning and Incrementalization	2014-07-24	Paper
Manipulating accumulative functions by swapping call-time and return-time computations	2014-02-27	Paper
A short cut to optimal sequences	2012-11-16	Paper
Calculational developments of new parallel algorithms for size-constrained maximum-sum segment problems	2012-07-20	Paper
Automatic parallelization of recursive functions using quantifier elimination	2010-05-04	Paper
Swapping Arguments and Results of Recursive Functions	2009-04-02	Paper

This page was built for person: Akimasa Morihata