Bibliographic Details
| Title: |
Type-Directed Program Synthesis and Constraint Generation for Library Portability |
| Authors: |
Collie, Bruce, Ginsbach, Philip, O'Boyle, Michael F.P. |
| Source: |
2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT) Parallel Architectures and Compilation Techniques (PACT), 2019 28th International Conference on. :55-67 Sep, 2019 |
| Relation: |
2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT) |
| Database: |
IEEE Xplore Digital Library |
