Pattern Calculus
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540891840, 9783540891857

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Functor Polymorphism

Pattern Calculus ◽

10.1007/978-3-540-89185-7_8 ◽

2009 ◽

pp. 81-90

Author(s):

Barry Jay

Download Full-text

Parametric Polymorphism

Pattern Calculus ◽

10.1007/978-3-540-89185-7_7 ◽

2009 ◽

pp. 67-79

Author(s):

Barry Jay

Keyword(s):

Parametric Polymorphism

Download Full-text

Static Patterns

Pattern Calculus ◽

10.1007/978-3-540-89185-7_4 ◽

2009 ◽

pp. 33-44

Author(s):

Barry Jay

Download Full-text

Functions

Pattern Calculus ◽

10.1007/978-3-540-89185-7_2 ◽

2009 ◽

pp. 13-22 ◽

Cited By ~ 1

Author(s):

Barry Jay

Download Full-text

Dynamic Linear Patterns

Pattern Calculus ◽

10.1007/978-3-540-89185-7_16 ◽

2009 ◽

pp. 169-171

Author(s):

Barry Jay

Download Full-text

Path Polymorphism

Pattern Calculus ◽

10.1007/978-3-540-89185-7_9 ◽

2009 ◽

pp. 91-103

Author(s):

Barry Jay

Download Full-text

Object-Oriented Classes

Pattern Calculus ◽

10.1007/978-3-540-89185-7_18 ◽

2009 ◽

pp. 179-197

Author(s):

Barry Jay

Keyword(s):

Object Oriented

Download Full-text

Algebraic Data Types

Pattern Calculus ◽

10.1007/978-3-540-89185-7_14 ◽

2009 ◽

pp. 149-160 ◽

Cited By ~ 1

Author(s):

Barry Jay

Keyword(s):

Data Types ◽

Algebraic Data Types

Download Full-text

Queries

Pattern Calculus ◽

10.1007/978-3-540-89185-7_15 ◽

2009 ◽

pp. 161-168

Author(s):

Barry Jay

Download Full-text

Inclusion Polymorphism

Pattern Calculus ◽

10.1007/978-3-540-89185-7_11 ◽

2009 ◽

pp. 113-128

Author(s):

Barry Jay

Download Full-text