Harry G. Mairson
Orcid: 0009-0008-4964-8170
According to our database1,
Harry G. Mairson
authored at least 41 papers
between 1977 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
1980
1985
1990
1995
2000
2005
2010
0
1
2
3
4
5
1
2
1
1
1
1
2
1
2
1
3
1
1
2
1
1
2
2
1
1
1
2
1
1
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
2008
Proceedings of the Static Analysis, 15th International Symposium, 2008
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008
2007
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007
2005
2004
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work.
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004
2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003
2002
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
Proceedings of the Programming Languages and Systems, 2000
1999
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).
Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999
1997
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997
1996
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
1995
1994
J. Funct. Program., 1994
Inf. Process. Lett., 1994
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994
1993
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993
1992
J. Funct. Program., 1992
BIT, 1992
1991
Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1991
Proceedings of the Functional Programming Languages and Computer Architecture, 1991
Unification and ML-Type Reconstruction.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991
1990
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990
1985
Proceedings of the 26th Annual Symposium on Foundations of Computer Science, 1985
1984
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
1983
Proceedings of the 24th Annual Symposium on Foundations of Computer Science, 1983
1977