Index Catalog // Hyrax

Remover filtros

Filtragem por: Contributor Heineman, George O Criador Friedman, Alex Unit (Department) Computer Science

Palavra-chave:: Exponential Types, Regular Languages, RST, Session Types, and Program Synthesis
O Criador:: Friedman, Alex
Advisor:: Bohrer, Rose
Editor:: Worcester Polytechnic Institute
Data Criada:: 2023-11-16
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

Filtre sua busca