Akimasa Morihata

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing Journal of Functional Programming	2022-03-17	Paper
Lambda calculus with algebraic simplification for reduction parallelisation: extended study Journal of Functional Programming	2021-12-13	Paper
Optimizing declarative parallel distributed graph processing by using constraint solvers	2018-07-09	Paper
Incremental computing with abstract data structures Functional and Logic Programming	2016-04-04	Paper
The essence of Ruby Programming Languages and Systems	2016-02-26	Paper
Syntax-directed divide-and-conquer data-flow analysis Programming Languages and Systems	2016-02-26	Paper
The third homomorphism theorem on trees: downward \& upward lead to divide-and-conquer Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-07-03	Paper
A short cut to parallelization theorems Proceedings of the 18th ACM SIGPLAN international conference on Functional programming	2015-03-30	Paper
Write it recursively Proceedings of the 13th ACM SIGPLAN international conference on Functional programming	2015-03-16	Paper
Generalising and dualising the third list-homomorphism theorem: functional pearl Proceedings of the 16th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Balanced trees inhabiting functional parallel programming Proceedings of the 16th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Dynamic programming via thinning and incrementalization Functional and Logic Programming	2014-07-24	Paper
Manipulating accumulative functions by swapping call-time and return-time computations Journal of Functional Programming	2014-02-27	Paper
A short cut to optimal sequences New Generation Computing	2012-11-16	Paper
Calculational developments of new parallel algorithms for size-constrained maximum-sum segment problems Functional and Logic Programming	2012-07-20	Paper
Automatic parallelization of recursive functions using quantifier elimination Functional and Logic Programming	2010-05-04	Paper
Swapping Arguments and Results of Recursive Functions Lecture Notes in Computer Science	2009-04-02	Paper

Research outcomes over time

This page was built for person: Akimasa Morihata