Jawahar Chirimar
发表
Carl A. Gunter,
Jawahar Chirimar,
Jon G. Riecke,
1996,
Journal of Functional Programming.
Jawahar Chirimar,
Jawahar Chirimar,
1995
.
Jawahar Chirimar,
James Lipton,
James Lipton,
1991,
CSL.
Carl A. Gunter,
Jawahar Chirimar,
Jon G. Riecke,
1992,
LFP '92.
Carl A. Gunter,
Jawahar Chirimar,
Myra Van Inwegen,
1992,
CADE.
Jawahar Chirimar,
Douglas J. Howe,
Jawahar Chirimar,
1992,
Constructivity in Computer Science.