Philip S. Mulry

According to our database, Philip S. Mulry authored at least 13 papers between 1986 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Near Distributive Laws.

Ernie Manes, Philip S. Mulry

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2013

Notions of Monad Strength.

Philip S. Mulry

Proceedings of the Semantics, 2013

2008

Monad compositions II: Kleisli strength.

Ernie Manes, Philip S. Mulry

Math. Struct. Comput. Sci., 2008

2002

Lifting results for categories of algebras.

Philip S. Mulry

Theor. Comput. Sci., 2002

1997

Monads in Semantics.

Philip S. Mulry

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Preface.

Rance Cleaveland, Michael W. Mislove, Philip S. Mulry

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1994

Partial Map Classifiers and Partial Cartesian Closed Categories.

Philip S. Mulry

Theor. Comput. Sci., 1994

1993

Lifting Theorems for Kleisli Categories.

Philip S. Mulry

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992

Monads and Algebras in the Semantics or Partial Data Types.

Philip S. Mulry

Theor. Comput. Sci., 1992

1990

Categorical Fixed Point Semantics.

Philip S. Mulry

Theor. Comput. Sci., 1990

1989

A Categorical Approach to the Theory of Computation.

Philip S. Mulry

Ann. Pure Appl. Log., 1989

1987

Kan Extensions in Effective Semantics.

Philip S. Mulry

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1986

Adjointness in recursion.

Philip S. Mulry

Ann. Pure Appl. Log., 1986