Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"programming language theory"”.
-
Structured learning and inference with neural networks and generative models
… reverse, etc.), and show how ideas from type theory and programming language theory can be used to design a data augmentation scheme that enables effective learning from small datasets. Next, we show how error-driven proposal mechanisms can speed up stochastic search for generative model …
-
Teaching AIs to Reason and Code, Confidentially
Large Language Models (LLMs) have advanced rapidly, creating new opportunities for automating complex software-engineering tasks, yet today’s models still produce semantically flawed code and raise safety, privacy, and lock-in concerns on centralized clouds. I present an end-to-end framework that …
-
Monadic and Higher-Order Structure
Simple type theories, ubiquitous in the study of programming language theory, augment algebraic theories with higher-order, variable-binding structure. This motivates the definition of higher-order algebraic theories to capture this structure, permitting the study of simple type theories in a …
-
Categorical models of second-order abstract syntax
… a persistent obstacle in the formalisation of programming languages and calculi is the treatment of variables and the associated operations of α-renaming and capture-avoiding substitution. Despite many proposed approaches, none match the flexibility and clarity of informal reasoning on paper. …