![]() | ![]() |
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] |