Titel

Merkliste
1 Ergebnisse

Pure patterns type systems:

, In: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,

Barthe, Gilles ; Cirstea, Horatiu ; Kirchner, Claude. - p. 250-261 , 2003

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

RT 
T1 <cTitle>Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages</cTitle>: T1 <Title>Pure patterns type systems</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-604152&Exemplar=1&LAN=DE
				
A1 Barthe, Gilles
A1 Cirstea, Horatiu
A1 Kirchner, Claude
A1 Liquori, Luigi
PB ACM
YR 2003
K1 Curry-Howard
K1 Lambda-calculus
K1 logics
K1 matching
K1 patterns
K1 pure type systems
K1 rewriting
K1 Software and its engineering
K1 Software notations and tools
K1 Formal language definitions
K1 Syntax
K1 Theory of computation
K1 Models of computation
K1 Computability
K1 Logic
K1 Constraint and logic programming
K1 Mathematics of computing
K1 Continuous mathematics
K1 Calculus
K1 Lambda calculus
K1 Semantics and reasoning
K1 Program semantics
K1 General programming languages
K1 Language types
K1 Functional languages
K1 Constraint and logic languages
K1 Semantics
K1 Computing methodologies
K1 Symbolic and algebraic manipulation
K1 Symbolic and algebraic algorithms
K1 Theorem proving algorithms
K1 Mathematical analysis
SP 250
OP 261
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/604131.604152
DO https://dl.acm.org/doi/10.1145/604131.604152
SF ELIB - SuUB Bremen

Export

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