Typesafety for explicitly-coded probabilistic inference procedures

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018. === Cataloged from PDF version of thesis. === Includes bibliographical references (pages 67-68). === Researchers have recently proposed several systems that ease the process of devel...

Full description

Bibliographic Details
Main Author: Atkinson, Eric Hamilton
Other Authors: Michael Carbin.
Format: Others
Language:English
Published: Massachusetts Institute of Technology 2018
Subjects:
Online Access:http://hdl.handle.net/1721.1/115730