Ryszard Kubiak

Publication Activity (10 Years)

Years Active: 1979-1991
Publications (10 Years): 0

Publications

Ryszard Kubiak, John Hughes, John Launchbury
Implementing Projection-based Strictness Analysis. Functional Programming (1991)
Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. VDM Europe (1988)
Boguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski
Complexity of Sorting by Distributive Partitioning. Inf. Process. Lett. 9 (2) (1979)