Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Parola chiave Program Synthesis

Regular Session Types

Parola chiave:

Exponential Types, Regular Languages, RST, Session Types, and Program Synthesis

Creatore:

Friedman, Alex

Advisor:

Bohrer, Rose

Editore:

Worcester Polytechnic Institute

data di creazione:

2023-11-16

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science