Yazar
Pierce, Benjamin C., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267321
Format:
Electronic Resources
Alıntı:
languages. The approach is pragmatic and operational; each new concept is motivated by programming examples
View Other Search Results
Yazar
Burn, Geoffrey, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234
Format:
Electronic Resources
Alıntı:
Denotational Semantics of the Typed Lambda Calculus. A Framework for the Abstract Interpretation of Functional
View Other Search Results