![]() |
| 1991 | ||
|---|---|---|
| 3 | Ryszard Kubiak, John Hughes, John Launchbury: Implementing Projection-based Strictness Analysis. Functional Programming 1991: 207-224 | |
| 1988 | ||
| 2 | Andrzej M. Borzyszkowski, Ryszard Kubiak, Stefan Sokolowski: A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft. VDM Europe 1988: 267-298 | |
| 1979 | ||
| 1 | Boguslaw L. Jackowski, Ryszard Kubiak, Stefan Sokolowski: Complexity of Sorting by Distributive Partitioning. Inf. Process. Lett. 9(2): 100 (1979) | |
| 1 | Andrzej M. Borzyszkowski | [2] |
| 2 | John Hughes | [3] |
| 3 | Boguslaw L. Jackowski | [1] |
| 4 | John Launchbury | [3] |
| 5 | Stefan Sokolowski | [1] [2] |