Daniel Sainati
sainati@types.pl
<p>PhD student at UPenn studying type systems</p>
Posts
-
Post #2770476
Our PLDI paper won a Distinguished Paper Award! Congrats to my collaborators @alpha_convert@types.pl and Manya Bansal (who tragically is not on Mastodon). I am extremely proud of the work we did on this, and I am excited to continue this line of research in the near future.
-
Post #1840432
paper titles from the 1980s are like &quot;Tree Types&quot; and paper titles from the 2020s are like &quot;Glorp: A Sound Embedding of Algebraic Tree Types in a Domain Specific Language for Network Systems&quot;. where did we go wrong
-
Post #1810440
How does one write an entire language design paper without actually naming the language it describes???
-
Post #1586904
domain specific language for general purpose programming
-
Post #1023542
ah, my favorite proof technique
-
Post #503026
poggers and preservation