Deciding Type Isomorphisms in a Type-Assignment Framework

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796800000861
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Positive Recursive Type Assignment

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Isomorphisms Between Generalized Cartan Type $W$ Lie Algebras in Characteristic $0$

Canadian Journal of Mathematics
Mathematics
1998English

A Type System for Flexible Role Assignment in Multiparty Communicating Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A New Multi-Path Routing Methodology Based on Logit-Type Probability Assignment

IEICE Transactions on Communications
Computer NetworksElectronic EngineeringSoftwareElectricalCommunications
2011English

A Queueing Analysis for Job Assignment on Two-Type Heterogeneous Supercomputer System

2015English

Type Theory as a Framework for Modelling and Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Developing a Service Quality Framework for a Special Type of Course

Periodica Polytechnica, Social and Management Sciences
EngineeringStrategyManagementDecision SciencesSocial Sciences
2019English

A Real-Time Framework for Task Assignment in Hyperlocal Spatial Crowdsourcing

ACM Transactions on Intelligent Systems and Technology
Artificial IntelligenceTheoretical Computer Science
2018English

Multi-Agent Task Assignment in the Bandit Framework

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy