Programming Languages and Systems: 16th European Symposium on Programming, ESOP
125,22 €
Many of the issues involved in software design apply to systems in general, including hardware s- tems, and the emphasis on software is not intended to be exclusive. Invited Talk. - Techniques for Contextual Equivalence in Higher-Order, Typed Languages.
Jetzt bei Ebay:
