Вы здесь

Главная

Proc. of WM98. Smogens Havsbad, January 14-16, 1998

Связанные издания:

Applications of Formal Methods to Intellectual Property
A Proof System Based on Finite Set Theory
A Type Based Sharing Analysis for Update Avoidance and Bookkeeping Optimization
Forwards and Backwards Analysis for Functional Programs
Garbage Collection Support in an Optimising Haskell Compiler
Gayenne - Spice up Your Programming with Dependent Types
Implementing Sized Types
Monadic Programming - another view - DRAFT
Support for Graphics in the Fudget Library