Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

David Castro, Kevin Hammond, Susmit Sarkar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)
2 Downloads (Pure)
Filter
Finished

Search results