Sciweavers

POPL   1992 Annual Symposium on Principles of Programming Languages
Wall of Fame | Most Viewed POPL-1992 Paper
POPL
1992
ACM
13 years 8 months ago
Abstract Semantics for a Higher-Order Functional Language with Logic Variables
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
Radha Jagadeesan, Keshav Pingali
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source194
2Download preprint from source136
3Download preprint from source118
4Download preprint from source103
5Download preprint from source100
6Download preprint from source93
7Download preprint from source89