Index Catalog // Hyrax

Remover filtros

Filtragem por: Palavra-chave Program Synthesis

Regular Session Types

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