Index Catalog // Hyrax

Filter löschen

Filtern nach: Schöpfer Friedman, Alex Stichwort Regular Languages

Regular Session Types

Stichwort:

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

Schöpfer:

Friedman, Alex

Advisor:

Bohrer, Rose

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2023-11-16

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science