Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Harry G. Mairson - MaRDI portal

Harry G. Mairson

From MaRDI portal
(Redirected from Person:814995)
Person:1198970

Available identifiers

zbMath Open mairson.harry-georgeDBLP31/6437WikidataQ5670862 ScholiaQ5670862MaRDI QIDQ1198970

List of research outcomes





PublicationDate of PublicationType
In memoriam Paris C. Kanellakis2019-08-09Paper
An analysis of the Core-ML language: Expressive power and type reconstruction2019-04-29Paper
On global dynamics of optimal graph reduction2017-08-21Paper
Optimality and inefficiency2016-09-01Paper
Functional geometry and the Traité de Lutherie2015-03-30Paper
Deciding k CFA is complete for EXPTIME2015-03-16Paper
Types, potency, and idempotency2015-03-09Paper
Relating complexity and precision in control flow analysis2014-07-21Paper
Theoretical Computer Science2010-02-23Paper
Flow Analysis, Linearity, and PTIME2008-08-28Paper
Robert Paige (1947--1999)2006-02-08Paper
FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness2005-03-21Paper
https://portal.mardi4nfdi.de/entity/Q44152392003-07-28Paper
https://portal.mardi4nfdi.de/entity/Q44118212003-07-10Paper
Parallel beta reduction is not elementary recursive2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45188842000-12-03Paper
Undecidable boundedness problems for datalog programs1997-04-17Paper
Database query languages embedded in the typed lambda calculus1996-10-01Paper
IN MEMORIAM Paris C. Kanellakis (1953–1995)1996-06-04Paper
The complexity of type inference for higher-order typed lambda calculi1995-12-13Paper
Quantifier elimination and parametric polymorphism in programming languages1995-05-01Paper
Generating words in a context-free language uniformly at random1994-04-04Paper
Undecidable optimization problems for database logic programs1993-12-06Paper
The effect of table expansion on the program complexity of perfect hash functions1993-01-16Paper
A simple proof of a theorem of Statman1993-01-16Paper
Some new upper bounds on the generation of prime numbers1977-01-01Paper

Research outcomes over time

This page was built for person: Harry G. Mairson