Polytypic Programming With Ease

Polytypic Programming With Ease

Показать другие версии (1)

This article proposes a new framework for a polytypic extension of functional programming languages. A polytypic functional program is one that is parameterised by datatype. Since polytypic functions are defined by induction on types rather than by induction on values, they typically operate on a hi...

Полное описание

Библиографические подробности
Главный автор:	Hinze, R
Формат:	Journal article
Опубликовано:	2001

Схожие документы

Polytypic Programming With Ease
по: Hinze, R
Опубликовано: (1999)

Polytypic Programming With Ease (Extended Abstract)
по: Hinze, R
Опубликовано: (1999)

Memo functions‚ polytypically!
по: Hinze, R
Опубликовано: (2000)

Polytypic Functions Over Nested Datatypes
по: Hinze, R
Опубликовано: (1999)

Polytypic values possess polykinded types
по: Hinze, R
Опубликовано: (1999)

Polytypic values possess polykinded types
по: Hinze, R
Опубликовано: (2015)

Polytypic Functions Over Nested Datatypes
по: Hinze, R
Опубликовано: (1998)

Polytypic Values Possess Polykinded Types
по: Hinze, R
Опубликовано: (2000)

Polytypic Functions Over Nested Datatypes
по: Ralf Hinze
Опубликовано: (1999-01-01)

Polytypic Functions Over Nested Datatypes
по: Ralf Hinze
Опубликовано: (1999-12-01)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
по: Hinze, R
Опубликовано: (1999)

Polytypic Downwards Accumulations
по: Gibbons, J
Опубликовано: (1998)

AN EQUILIBRIUM-THEORY OF POLYTYPISM
по: Yeomans, J, и др.
Опубликовано: (1986)

Problems on conjugation of polytypic equations
по: V. I. Korzyuk, и др.
Опубликовано: (2001-06-01)

THE APPLICATION OF THE ANNNI MODEL TO POLYTYPIC BEHAVIOR
по: Price, G, и др.
Опубликовано: (1984)

Polytypism of layered MX2 materials
по: Wolpert, EH, и др.
Опубликовано: (2023)

BAND STRUCTURE CALCULATIONS OF GRAPHENE POLYTYPES
по: E.A. Belenkov, и др.
Опубликовано: (2014-11-01)

Spontaneous Electric Polarization in Graphene Polytypes
по: Simon Salleh Atri, и др.
Опубликовано: (2024-05-01)

Photoacoustic and transmission studies of SiC polytypes
по: A.C. de Oliveira, и др.
Опубликовано: (2003-01-01)

DISLOCATION MECHANISMS FOR TWINNING AND POLYTYPIC TRANSFORMATIONS IN SEMICONDUCTORS
по: Pirouz, P
Опубликовано: (1989)

The electronic band structure of hexagonal silicon polytypes
по: Chizhova Anastasia, и др.
Опубликовано: (2024-12-01)

THE ENERGETICS OF POLYTYPIC STRUCTURES - FURTHER APPLICATIONS OF THE ANNNI MODEL
по: Angel, R, и др.
Опубликовано: (1985)

The polytypism of Cu(D-Ser)(L-Ser) crystals
по: Diacon, Ion, и др.
Опубликовано: (2012-10-01)

First-principles investigation of polytypic defects in InP
по: Christian Dam Vedel, и др.
Опубликовано: (2022-11-01)

Two new polytypes of 2,4,6-tribromobenzonitrile
по: Doyle Britton, и др.
Опубликовано: (2016-02-01)

Polytypic chromosomal variation in <it>Triturus boscai </it>(Urodela: Salamandridae)
по: Herrero P
Опубликовано: (1991-09-01)

Revealing polytypism in 2D boron nitride with UV photoluminescence
по: Jakub Iwański, и др.
Опубликовано: (2024-11-01)

Imprinting the Polytype Structure of Silicon Carbide by Rapid Thermal Processing
по: Jörg Pezoldt, и др.
Опубликовано: (2020-06-01)

Polytypes of sp<sup>2</sup>-Bonded Boron Nitride
по: Bernard Gil, и др.
Опубликовано: (2022-05-01)

Mullite-2<i>c</i> – a natural polytype of mullite
по: S. Lenz, и др.
Опубликовано: (2020-03-01)

THE ENERGETICS OF POLYTYPIC STRUCTURES - A COMPUTER-SIMULATION OF MAGNESIUM-SILICATE SPINELLOIDS
по: Price, G, и др.
Опубликовано: (1985)

Unlocking the mysterious polytypic features within vaterite CaCO3
по: Xingyuan San, и др.
Опубликовано: (2023-11-01)

Less is more. Adjusting the taxonomy of the polytypic Mimosa setosa (Leguminosae, Mimosoid)
по: Leonardo Maurici Borges, и др.

Synthesis of Polytypic Gallium Phosphide and Gallium Arsenide Nanowires and Their Application as Photodetectors
по: Kidong Park, и др.
Опубликовано: (2019-02-01)

EASE: Development Program for Residency Program Directors and Coordinators
по: Patricia O'Sullivan
Опубликовано: (2007-01-01)

Nucleation and growth of polytypic-layered crystals from the network liquid zinc chloride
по: Wilson, M
Опубликовано: (2003)

The Influence of Carbon on Polytype and Growth Stability of Epitaxial Hexagonal Boron Nitride Films
по: Sachin Sharma, и др.
Опубликовано: (2024-06-01)

Band Gap Engineering of Newly Discovered ZnO/ZnS Polytypic Nanomaterials
по: Dejan Zagorac, и др.
Опубликовано: (2022-05-01)

MOCVD Growth and Structural Properties of ZnS Nanowires: A Case Study of Polytypism
по: Sumit Kumar, и др.
Опубликовано: (2022-07-01)

Composition and Content of Fluorophlogopite Polytypes by X-ray Diffraction with Rotation-spraying Method
по: CHEN Ai-qing, и др.
Опубликовано: (2021-07-01)