Browsing Computer Science electronic theses and dissertations (MU) by Identifier "https://hdl.handle.net/10355/72234"
Now showing items 1-1 of 1
-
Mechanizing the metatheory of rewire
(University of Missouri--Columbia, 2019)The [lambda]-calculus provides a simple, well-established framework for research in functional programming languages that readily lends itself to the use offormal methods--that is, the use of mathematically sound techniques ...