Polytypic Programming With Ease (Extended Abstract)

Polytypic Programming With Ease (Extended Abstract)

Bibliographic Details
Main Author:	Hinze, R
Format:	Conference item
Published:	Springer Berlin / Heidelberg 1999

Similar Items

Polytypic Programming With Ease
by: Hinze, R
Published: (1999)

Polytypic Programming With Ease
by: Hinze, R
Published: (2001)

Polytypic Functions Over Nested Datatypes (Extended Abstract)
by: Hinze, R
Published: (1999)

Memo functions‚ polytypically!
by: Hinze, R
Published: (2000)

Polytypic Functions Over Nested Datatypes
by: Hinze, R
Published: (1999)

Polytypic values possess polykinded types
by: Hinze, R
Published: (1999)

Polytypic values possess polykinded types
by: Hinze, R
Published: (2015)

Polytypic Functions Over Nested Datatypes
by: Hinze, R
Published: (1998)

Polytypic Values Possess Polykinded Types
by: Hinze, R
Published: (2000)

Polytypic Downwards Accumulations
by: Gibbons, J
Published: (1998)

AN EQUILIBRIUM-THEORY OF POLYTYPISM
by: Yeomans, J, et al.
Published: (1986)

Full Abstraction for PCF (Extended Abstract)
by: Abramsky, S, et al.
Published: (1994)

THE APPLICATION OF THE ANNNI MODEL TO POLYTYPIC BEHAVIOR
by: Price, G, et al.
Published: (1984)

Polytypism of layered MX2 materials
by: Wolpert, EH, et al.
Published: (2023)

ease
by: Chong, Evelyn Li Ping
Published: (2016)

DISLOCATION MECHANISMS FOR TWINNING AND POLYTYPIC TRANSFORMATIONS IN SEMICONDUCTORS
by: Pirouz, P
Published: (1989)

THE ENERGETICS OF POLYTYPIC STRUCTURES - FURTHER APPLICATIONS OF THE ANNNI MODEL
by: Angel, R, et al.
Published: (1985)

Extended Comptation Tree Logic (Extended Abstract)
by: Lange, M
Published: (2010)

Interaction Categories (Extended Abstract)
by: Abramsky, S
Published: (1993)

Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
by: Schrammel, P, et al.
Published: (2010)

Translucent Abstraction: Safe Views through Invertible Programming (Extended version)
by: Wang, M, et al.
Published: (2009)

Lightweight Email Signatures (Extended Abstract)
by: Adida, Ben, et al.
Published: (2014)

ESD Internal Conference Extended Abstracts
by: ESD Colloquium Committee
Published: (2016)

Policy Refinement Checking (extended abstract)
by: Goldsmith, S
Published: (2009)

Toy Quantum Categories (Extended Abstract)
by: Coecke, B, et al.
Published: (2011)

Toy quantum categories (extended abstract)
by: Coecke, B, et al.
Published: (2011)

Secure protocol composition (extended abstract)
by: Datta, A, et al.
Published: (2003)

The Categorical Abstract Machine: Basics and Enhancments
by: Hinze, R
Published: (1992)

Measuring cognitive load-a solution to ease learning of programming
by: Yousoof, M., et al.
Published: (2007)

THE ENERGETICS OF POLYTYPIC STRUCTURES - A COMPUTER-SIMULATION OF MAGNESIUM-SILICATE SPINELLOIDS
by: Price, G, et al.
Published: (1985)

Atomic Data Abstractions in a Distributed Collaborative Editing System (Extended Abstract)
by: Greif, Irene, et al.
Published: (2023)

Poset Vectors and Generalized Permutohedra (Extended Abstract)
by: Croitoru, Dorian, et al.
Published: (2015)

Failsafe Key Escrow Systems (Extended Abstract)
by: Leighton, Tom
Published: (2023)

Complexity Bounds for Regular Games (Extended Abstract)
by: Hunter, P, et al.
Published: (2005)

Lecturer At Ease Cycling To Campus
by: The Star, Maybelline Yeo & Meera Devi Daran
Published: (2008)

Projects to ease slowdown effects
by: Abdullah, Farah Adila, et al.
Published: (2018)

Ease of doing online business
by: Mohamad Sukairi, Siti Zahima, et al.
Published: (2020)

Nucleation and growth of polytypic-layered crystals from the network liquid zinc chloride
by: Wilson, M
Published: (2003)

Crowdsourcing facial responses to online videos: Extended abstract
by: McDuff, Daniel, et al.
Published: (2017)

Formal Evaluation of Persona Trustworthiness with EUSTACE (Extended Abstract)
by: Faily, S, et al.
Published: (2013)