Works matching IS 09601295 AND DT 2008 AND VI 18 AND IP 5

Results: 7

Type-based flow analysis and context-free language reachability.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 823, doi. 10.1017/S0960129508006968

By:

FÄHNDRICH, MANUEL;
REHOF, JAKOB

Publication type:

Article

Structural subtyping for inductive types with functorial equality rules.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 931, doi. 10.1017/S0960129508006956

By:

LUO, ZHAOHUI;
ADAMS, ROBIN

Publication type:

Article

Bounded polymorphism in session types.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 895, doi. 10.1017/S0960129508006944

By:

GAY, SIMON J.

Publication type:

Article

Polarised subtyping for sized types.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 797, doi. 10.1017/S0960129508006853

By:

ABEL, ANDREAS

Publication type:

Article

Theory and applications of subtyping: Introduction.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 795, doi. 10.1017/S0960129508006841

By:

COMPAGNONI, ADRIANA;
GOGUEN, HEALFDENE

Publication type:

Article

Exponentiable morphisms of domains.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 1005, doi. 10.1017/S0960129508006786

By:

CAGLIARI, F.;
MANTOVANI, S.

Publication type:

Article

Graph lambda theories.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 5, p. 975, doi. 10.1017/S0960129508006683

By:

BUCCIARELLI, ANTONIO;
SALIBRA, ANTONINO

Publication type:

Article