E-LIB Suche - Ergebnisse für: Mairson, Harry G.

1

Deciding kCFA is complete for EXPTIME:

, In: Proceedings of the 13th ACM SIGPLAN international conference on Functional programming,

Van Horn, David ; Mairson, Harry G. - p. 275-282 , 2008

Link: https://dl.acm.org/doi/1..

2

Relating complexity and precision in control flow analysis:

, In: Proceedings of the 12th ACM SIGPLAN international conference on Functional programming,

Van Horn, David ; Mairson, Harry G. - p. 85-96 , 2007

Link: https://dl.acm.org/doi/1..

3

Types, potency, and idempotency : why nonlinearity and a..:

, In: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming,

Neergaard, Peter Møller ; Mairson, Harry G. - p. 138-149 , 2004

Link: https://dl.acm.org/doi/1..

4

In Memoriam : Paris C. Kanellakis:

, In: Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday,

Abiteboul, Serge ; Kuper, Gabriel M. ; Mairson, Harry G... - p. 1-8 , 2003

Link: https://dl.acm.org/doi/1..

5

From Hilbert space to Dilbert space : context semantics ..:

, In: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming,

Mairson, Harry G. - p. 125 ff. , 2003

Link: https://dl.acm.org/doi/1..

6

Relating typability and expressiveness in finite-rank inter..:

, In: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming,

Kfoury, Assaf J. ; Mairson, Harry G. ; Turbak, Franklyn A.. - p. 90-101 , 1999

Link: https://dl.acm.org/doi/1..

7

Parallel beta reduction is not elementary recursive:

, In: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Asperti, Andrea ; Mairson, Harry G. - p. 303-315 , 1998

Link: https://dl.acm.org/doi/1..

8

On global dynamics of optimal graph reduction:

, In: Proceedings of the second ACM SIGPLAN international conference on Functional programming,

Lawall, Julia L. ; Mairson, Harry G. - p. 188-195 , 1997

Link: https://dl.acm.org/doi/1..

9

Optimality and inefficiency : what isn't a cost model of..:

, In: Proceedings of the first ACM SIGPLAN international conference on Functional programming,

Lawall, Julia L. ; Mairson, Harry G. - p. 92-101 , 1996

Link: https://dl.acm.org/doi/1..

10

A constructive logic of multiple subtyping:

, In: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Mairson, Harry G. - p. 313-324 , 1993

Link: https://dl.acm.org/doi/1..

11

Tools for Datalog boundedness:

, In: Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems,

Hillebrand, Gerd G. ; Kanellakis, Paris C. ; Mairson, Harry G.. - p. 1-12 , 1991

Link: https://dl.acm.org/doi/1..

12

The complexity of type inference for higher-order lambda ca..:

, In: Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Henglein, Fritz ; Mairson, Harry G. - p. 119-130 , 1991

Link: https://dl.acm.org/doi/1..

13

Deciding ML typability is complete for deterministic expone..:

, In: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Mairson, Harry G. - p. 382-401 , 1989

Link: https://dl.acm.org/doi/1..

14

Average case lower bounds on the construction and searching..:

, In: 26th Annual Symposium on Foundations of Computer Science (sfcs 1985),

Mairson, Harry G. - p. None , 1985

Link: https://doi.org/10.1109/..

15

Functional geometry and the Traité de Lutherie : functio..:

, In: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming,

Mairson, Harry George - p. 123-132 , 2013

Link: https://dl.acm.org/doi/1..