Titel

Merkliste
1 Ergebnisse

Types, potency, and idempotency : why nonlinearity and a..:

, In: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming,

Neergaard, Peter Møller ; Mairson, Harry G. - p. 138-149 , 2004

Link: https://dl.acm.org/doi/10.1145/1016850.1016871

RT 
T1 <cTitle>Proceedings of the ninth ACM SIGPLAN international conference on Functional programming</cTitle>: T1 <Title>Types, potency, and idempotency				: why nonlinearity and amnesia make a type system work</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1016871&Exemplar=1&LAN=DE
				
A1 Neergaard, Peter Møller
A1 Mairson, Harry G.
PB ACM
YR 2004
K1 complexity
K1 idempotence
K1 intersection types
K1 normalization
K1 proofnet
K1 type inference
K1 Software and its engineering
K1 Software notations and tools
K1 Formal language definitions
K1 Theory of computation
K1 Formal languages and automata theory
K1 Logic
K1 Models of computation
K1 Computability
K1 General programming languages
K1 Language features
K1 Recursion
K1 Semantics and reasoning
K1 Program constructs
K1 Program schemes
K1 Mathematics of computing
K1 Continuous mathematics
K1 Calculus
K1 Lambda calculus
K1 Mathematical analysis
SP 138
OP 149
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1016850.1016871
DO https://dl.acm.org/doi/10.1145/1016850.1016871
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)