Cited By
View all- Faggian CRocca S(2019)Lambda Calculus and Probabilistic Computation2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS.2019.8785699(1-13)Online publication date: Jun-2019
- Seo JPark S(2013)Judgmental subtyping systems with intersection types and modal typesActa Informatica10.1007/s00236-013-0186-250:7-8(359-380)Online publication date: 1-Dec-2013
- Park SPfenning FThrun S(2008)A probabilistic language based on sampling functionsACM Transactions on Programming Languages and Systems10.1145/1452044.145204831:1(1-46)Online publication date: 12-Dec-2008
- Show More Cited By