BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
4 × USA
Collaborated with:
∅
Talks about:
type (3) semant (2) isomorph (1) revisit (1) program (1) languag (1) coerciv (1) toward (1) theori (1) static (1)

Person: Satish R. Thatte

DBLP DBLP: Thatte:Satish_R=

Contributed to:

ECOOP 19951995
LFP 19941994
FPCA 19911991
POPL 19901990
LFP 19861986

Wrote 5 papers:

ECOOP-1995-Thatte
Object Imaging (SRT), pp. 52–76.
LFP-1994-Thatte #revisited #semantics
Semantics of Type Classes Revisited (SRT), pp. 208–219.
FPCA-1991-Thatte #morphism
Coercive Type Isomorphism (SRT), pp. 29–49.
POPL-1990-Thatte #static typing #type system
Quasi-Static Typing (SRT), pp. 367–381.
LFP-1986-Thatte #equation #programming language #semantics #towards
Towards a Semantic Theory for Equational Programming Languages (SRT), pp. 332–342.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.