Andrew Tolmach

Available identifiers

zbMath Open tolmach.andrewMaRDI QIDQ2757106

List of research outcomes

Publication	Date of Publication	Type
Building program optimizers with rewriting strategies	2017-08-21	Paper
A Theory of Name Resolution	2016-04-26	Paper
Implementing functional logic languages using multiple threads and stores	2015-03-09	Paper
A certified framework for compiling and executing garbage-collected languages	2015-03-05	Paper
A principled approach to operating system construction in Haskell	2015-01-06	Paper
A verified information-flow architecture	2014-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q2844053	2013-08-27	Paper
A Virtual Machine for Functional Logic Computations	2007-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q2766793	2002-07-22	Paper
Modular lazy search for Constraint Satisfaction Problems	2001-11-21	Paper
From ML to Ada: Strongly-typed language interoperability via source translation	1999-03-28	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrew Tolmach