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

Search results

• Susmit Sarkar

  • Susmit.Sarkarst-andrews.acuk

  • School of Computer Science - Professor, Director of Research

  Person: Academic