Satish R. Thatte

According to our database, Satish R. Thatte authored at least 14 papers between 1985 and 2006.

Collaborative distances:

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

2006

06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures.

Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst

Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

1995

Object Imaging.

Satish R. Thatte

Proceedings of the ECOOP'95, 1995

1994

Type Inference with Partial Types.

Satish R. Thatte

Theor. Comput. Sci., 1994

Semantics of Type Classes Revisited.

Satish R. Thatte

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

1993

Modal Logic and Algebraic Specifications.

Lawrence S. Moss, Satish R. Thatte

Theor. Comput. Sci., 1993

Finite Acyclic Theories are Unitary.

Satish R. Thatte

J. Symb. Comput., 1993

1991

Coercive Type Isomorphism.

Satish R. Thatte

Proceedings of the Functional Programming Languages and Computer Architecture, 1991

1990

Quasi-Static Typing.

Satish R. Thatte

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

1989

Full Abstraction and Limiting Completeness in Equational Languages.

Satish R. Thatte

Theor. Comput. Sci., 1989

Generalization of Final Algebra Semantics by Relativization.

Lawrence S. Moss, Satish R. Thatte

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

1988

Implementing First-Order Rewriting with Constructor Systems.

Satish R. Thatte

Theor. Comput. Sci., 1988

Optimal semantics of data type extensions.

Lawrence S. Moss, Satish R. Thatte

Proceedings of the Algebraic Logic and Universal Algebra in Computer Science, Conference, 1988

1986

Towards a Semantic Theory for Equational Programming Languages.

Satish R. Thatte

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986

1985

On the Correspondence Metween Two Classes of Reduction Systems.

Satish R. Thatte

Inf. Process. Lett., 1985