Product
Help
Pricing
About
Jobs
Log in
Get started
Work
Add to collection
Running the manual
HTML
Details
Locations
Year:
2006
Type:
conference-paper
Source:
International Symposium on Haskell
DOI:
10.1145/1159842.1159850
Authors:
Philip Derrin,
Kevin Elphinstone,
Gerwin Klein,
David Cock,
Manuel M. T. Chakravarty
Institution:
UNSW Sydney
Language:
English
Topic:
Logic, programming, and type systems
Subfield:
Software
Field:
Computer Science
Domain:
Physical Sciences
Open Access status:
closed
OpenAlex ID:
W2104634303
FWCI:
3.749
Cites:
28
Cited by:
44
Related to:
10