Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Advisor Erwig, Martin Creator Chen, Sheng Degree Name Doctor of Philosophy (Ph.D.) Language English [eng]

1. Variational Typing and Its Applications

Creator:: Chen, Sheng
Abstract:: The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
Resource Type:: Dissertation