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