Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Graph types
HTML
Details
Locations
Year:
1993
Type:
conference-paper
Source:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
DOI:
10.1145/158511.158628
Authors:
Nils Klarlund,
Michael I. Schwartzbach
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W2912166712
FWCI:
1.973
Cites:
10
Cited by:
143
Related to:
10