Japanese
Home
Search
Horizontal Search
Publication Search
( Advanced Search )
Patent Search
( Advanced Search )
Research Highlight Search
( Advanced Search )
Researcher Search
Search by Organization
Support
FAQ
T2R2 User Registration
Doctoral thesis registration
Support/Contact
About T2R2
What's T2R2?
Operation Guidance
Leaflets
About file disclosure
Related Links
Tokyo Tech
STAR Search
NII IR Program
Home
>
Help
Publication Information
Title
Japanese:
English:
Formal Verification of Higher-order Probabilistic Programs
Author
Japanese:
佐藤 哲也
, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu.
English:
Tetsuya Sato
, Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Justin Hsu.
Language
English
Journal/Book name
Japanese:
English:
In Proceedings of the ACM on Programming Languages
Volume, Number, Page
Volume 3 Issue POPL
Published date
Jan. 2019
Publisher
Japanese:
English:
Conference name
Japanese:
English:
The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019)
Conference site
Japanese:
カスカイシュ
English:
Cascais
©2007
Tokyo Institute of Technology All rights reserved.