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)