Authors: Barthe, Gilles, Dybjer, Peter, Thiemann, Peter
Contributors: Gilles Barthe and Peter Dybjer and Peter Thiemann
Subject Terms: Data processing Computer science
Relation: urn:nbn:de:0030-drops-152017; https://drops.dagstuhl.de/opus/volltexte/2002/15201/
Contributors: Fritz Henglein and Ranjit Jhala and Shriram Krishnamurthi and Peter Thiemann
Subject Terms: Scripting Languages, Frameworks, Contracts, Types, Analysis, Semantics, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-47816; https://drops.dagstuhl.de/opus/volltexte/2014/4781/