Andrew Tolmach
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 |
|---|---|---|
| Defining and preserving more C behaviors: verified compilation using a concrete memory model | 2026-02-10 | Paper |
| Building program optimizers with rewriting strategies Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| A theory of name resolution Programming Languages and Systems | 2016-04-26 | Paper |
| Implementing functional logic languages using multiple threads and stores Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| A certified framework for compiling and executing garbage-collected languages Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| A principled approach to operating system construction in Haskell Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| A verified information-flow architecture Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| A monadic semantics for core Curry | 2013-08-27 | Paper |
| A Virtual Machine for Functional Logic Computations Implementation and Application of Functional Languages | 2007-10-23 | Paper |
| scientific article; zbMATH DE number 1696604 (Why is no real title available?) | 2002-07-22 | Paper |
| Modular lazy search for constraint satisfaction problems Journal of Functional Programming | 2001-11-21 | Paper |
| From ML to Ada: Strongly-typed language interoperability via source translation Journal of Functional Programming | 1999-03-28 | Paper |
Research outcomes over time
This page was built for person: Andrew Tolmach
