Format | |
---|---|
BibTeX | |
MARCXML | |
TextMARC | |
MARC | |
DublinCore | |
EndNote | |
NLM | |
RefWorks | |
RIS |
Linked e-resources
Details
Table of Contents
Nested parallelism, semantics, task-oriented programming
Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties
A Generic Back-End for Exploratory Programming
Dynamic Editors for Well-Typed Expressions
Modelling, translating, proving functional programs
High-Level Modelling for Typed Functional Programming
Translating Lambda Calculus into C++ Templates
ProofViz: An Interactive Visual Proof Explorer.
Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties
A Generic Back-End for Exploratory Programming
Dynamic Editors for Well-Typed Expressions
Modelling, translating, proving functional programs
High-Level Modelling for Typed Functional Programming
Translating Lambda Calculus into C++ Templates
ProofViz: An Interactive Visual Proof Explorer.