
Registered user since Sun 2 Jun 2019
Name:Susmit Sarkar
Affiliation:University of St. Andrews, UK
Personal website:www.cs.st-andrews.ac.uk/~ss265
Contributions
ICFP 2016 | Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2016-profile
View general profile
View general profile