Search the dblp DataBase
Satish R. Thatte :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Lawrence S. Moss , Satish R. Thatte Optimal semantics of data type extensions. [Citation Graph (0, 0)][DBLP ] Algebraic Logic and Universal Algebra in Computer Science, 1988, pp:161-180 [Conf ] Satish R. Thatte Object Imaging. [Citation Graph (0, 0)][DBLP ] ECOOP, 1995, pp:52-76 [Conf ] Satish R. Thatte Coercive Type Isomorphism. [Citation Graph (0, 0)][DBLP ] FPCA, 1991, pp:29-49 [Conf ] Satish R. Thatte Towards a Semantic Theory for Equational Programming Languages. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1986, pp:332-342 [Conf ] Satish R. Thatte Semantics of Type Classes Revisited. [Citation Graph (0, 0)][DBLP ] LISP and Functional Programming, 1994, pp:208-219 [Conf ] Lawrence S. Moss , Satish R. Thatte Generalization of Final Algebra Semantics by Relativization. [Citation Graph (0, 0)][DBLP ] Mathematical Foundations of Programming Semantics, 1989, pp:284-300 [Conf ] Satish R. Thatte Quasi-Static Typing. [Citation Graph (0, 0)][DBLP ] POPL, 1990, pp:367-381 [Conf ] Satish R. Thatte On the Correspondence Metween Two Classes of Reduction Systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1985, v:20, n:2, pp:83-85 [Journal ] Satish R. Thatte Finite Acyclic Theories are Unitary. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1993, v:15, n:2, pp:235-249 [Journal ] Lawrence S. Moss , Satish R. Thatte Modal Logic and Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:111, n:1&2, pp:191-210 [Journal ] Satish R. Thatte Implementing First-Order Rewriting with Constructor Systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1988, v:61, n:, pp:83-92 [Journal ] Satish R. Thatte Full Abstraction and Limiting Completeness in Equational Languages. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1989, v:65, n:1, pp:85-119 [Journal ] Satish R. Thatte Type Inference with Partial Types. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1994, v:124, n:1, pp:127-148 [Journal ] 06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs