Ryszard Kubiak

According to our database, Ryszard Kubiak authored at least 4 papers between 1979 and 1991.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1991

Implementing Projection-based Strictness Analysis.

Ryszard Kubiak, John Hughes, John Launchbury

Proceedings of the Functional Programming, 1991

Introduction to programming with specifications - a mathematical approach.

Ryszard Kubiak, Roman Rudzinski, Stefan Sokolowski

A.P.I.C. series 35, Academic Press, ISBN: 978-0-12-427620-8, 1991

1988

A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft.

Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski

Proceedings of the VDM '88, 1988

1979

Complexity of Sorting by Distributive Partitioning.

Boguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski

Inf. Process. Lett., 1979