Вы здесь

Главная

Goteborg

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

A Congruent Bisimilarity for McCarthy s Amb
Acta Congressus Hiberni
An Implementation of the Heine-Borel Covering Theorem in Type Theory
A Note on Completeness of Patterns
Applications of Formal Methods to Intellectual Property
A Proof System Based on Finite Set Theory
A Rendezvous of Functions and Reactive Objects - Escaping the Evil I
A Type Based Sharing Analysis for Update Avoidance and Bookkeeping Optimization
Correct Transformations of Logic Programs
Forwards and Backwards Analysis for Functional Programs
Garbage Collection Support in an Optimising Haskell Compiler
Gayenne - Spice up Your Programming with Dependent Types
HasQL
Implementing Sized Types
Module-Sensitive Program Specialization
Monadic Programming - another view - DRAFT
On Advancing Front Mesh Generation in Three Dimensions
Partial Evaluation in Aircraft Crew Planning
PolyP - a polytipic programming language extension
Proceedings of WM98. Smogens Havsbad, January 14-16, 1998
Support for Graphics in the Fudget Library
The GRIN Project: A Highly Optimising Back End for Lazy Functional Languages
Using Databases for Real-Time Systems
Why Sized Types are Great