Isao Sasano
From MaRDI portal
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 |
|---|---|---|
| An approach to completing variable names for implicitly typed functional languages Higher-Order and Symbolic Computation | 2017-05-15 | Paper |
| Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems Proceedings of the fifth ACM SIGPLAN international conference on Functional programming | 2015-09-11 | Paper |
| Iterative-free program analysis Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
| Lightweight fusion by fixed point promotion Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Marker-directed optimization of UnCAL graph transformations Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2036331 (Why is no real title available?) | 2004-02-02 | Paper |
Research outcomes over time
This page was built for person: Isao Sasano
