Registered user since Tue 3 Dec 2019
Name:Koji Nakazawa
Affiliation:Graduate School of Information Science, Nagoya University
Personal website:http://www.sqlab.i.is.nagoya-u.ac.jp/~nakazawa/
Contributions
| PPS 2016 | A Denotational Semantics of a Probabilistic Stream-Processing Language | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile