Marianna Rapoport | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Ondřej Lhoták
7 publications
Paul He
5 publications
Ifaz Kabir
1 publication

research

∙ 04/15/2019

A Path To DOT: Formalizing Fully-Path-Dependent Types

The Dependent Object Types (DOT) calculus aims to formalize the Scala pr...

0 Marianna Rapoport, et al. ∙

research

∙ 06/12/2017

A Simple Soundness Proof for Dependent Object Types

Dependent Object Types (DOT) is intended to be a core calculus for model...

0 Marianna Rapoport, et al. ∙