Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Intrinsic procedures and modules
HTML
Details
Locations
Year:
2023
Type:
book-chapter
Source:
Oxford University Press eBooks
DOI:
10.1093/oso/9780198876571.003.0009
Authors:
Michael Metcalf,
John Reid,
Malcolm Cohen,
Reinhold Bader
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W4393059321
FWCI:
Cites:
Cited by:
Related to:
10