( en | de | ru )

 

Disambiguation of "Jay, C. Barry"

Author of the publication

copydeleteadd this publication to your clipboard
The Functional Imperative: Shape!

, and . ESOP, volume 1381 of Lecture Notes in Computer Science, page 139-153. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jay Jorgenson

Sylvain Jay

Boubakar Barry

Georg Barry

Georg Barry

 

Other publications of authors with the same name

Tail Recursion Through Universal Invariants.. Theor. Comput. Sci., 115 (1): 151-189 (1993)A Semantics for Shape.. Sci. Comput. Program., 25 (2-3): 251-283 (1995)Costing parallel programs as a function of shapes.. Sci. Comput. Program., 37 (1-3): 207-224 (2000)The pattern calculus.. ACM Trans. Program. Lang. Syst., 26 (6): 911-937 (2004)Partial Evaluation of Shaped Programs: Experience with FISh.. PEPM, page 147-158. University of Aarhus, (1999)Programming in FISh.. Int. J. Softw. Tools Technol. Transf., 2 (3): 307-315 (1999)Adaptiveness in well-typed Java bytecode verification., , and . CASCON, page 248-262. IBM, (2006)The Polymorphic Imperative: a Generic Approach to In-place Update., , and . CATS, volume 91 of Electronic Notes in Theoretical Computer Science, page 195-211. Elsevier, (2004)Monads, shapely functors, and traversals., , and . CTCS, volume 29 of Electronic Notes in Theoretical Computer Science, page 187-208. Elsevier, (1999)Shapely Types and Shape Polymorphism., and . ESOP, volume 788 of Lecture Notes in Computer Science, page 302-316. Springer, (1994)