Data Types as Functions

DAIMI Report Series
doi 10.7146/dpb.v7i89.6504
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

Data Types as Objects

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1977English

Data Types as Algorithms

RAIRO. Informatique théorique
1984English

Replicated Data Types

2017English

Certifying Data in Multiparty Session Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Chitosan-Copper Paint Types as Antifouling

Journal of the Chilean Chemical Society
Chemistry
2014English

Linear Logic Propositions as Session Types

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2014English

Structures and Corresponding Functions of Five Types of Picornaviral 2A Proteins

Frontiers in Microbiology
Microbiology
2017English

Technical Functions as Dispositions

Techné: Research in Philosophy and Technology
2001English

A Fibrational Method of Indexed Coinductive Data Types

Tehnicki Vjesnik
Engineering
2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy