Searching for authors named "Stefan Sokolowski" – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
On Redundancy of Recursive Types in High Level Applicative Languages
- …On Redundancy of Recursive Types in High Level Applicative Languages Stefan SOKO/LLOWSKI Version…
- Add To MetaCart
-
A Comparative Study of Some Type Systems for Functional Languages
- …A comparative study of some type systems for functional languages Stefan Soko/lowski y 31…
- Add To MetaCart
-
Towards a Naive Theory of Algebraic Specifications
- …Towards a Naive Theory of Algebraic Specifications Stefan SOKO/LLOWSKI October 29, 1988 Abstract…
- Add To MetaCart
-
On the Upgrading of Specification's Realization
- …On the upgrading of specification's realization Stefan Soko/lowski y Sopot, 12 April 1996 1…
- Add To MetaCart
-
The GDM approach to specifications and their realizations. - Part I: Specification systems.
- …The GDM approach to specifications and their realizations. Part I: Specification systems. Stefan…
- Cited by 9 (6 self) – Add To MetaCart
-
How to Reconcile Subtypes, Dependent Types and Deep Polymorphism in one Language
- …How to Reconcile Subtypes, Dependent Types and Deep Polymorphism in one Language Stefan SOKO…
- Cited by 2 (2 self) – Add To MetaCart
-
Requirement Specifications and Their Realizations: Toward a Unified Framework
- …Requirement specifications and their realizations: toward a unified framework Stefan Soko/lowski…
- Cited by 2 (2 self) – Add To MetaCart
-
Case Study in Single Assertion Parametric Specification: Sorting.
- …Case study in single assertion parametric specification: sorting. A contribution to GDM Stefan…
- Cited by 4 (4 self) – Add To MetaCart
-
Gdansk Development Method - A Short Overview
- …Gda#sk Development Method --- A Short Overview Stefan SOKO#OWSKI Gda#sk, 20 December 1990 1…
- Cited by 2 (2 self) – Add To MetaCart
-
Increasing Flexibility in Single Assertion Specifications: Quantifiers and Local Variables.
- … contribution to GDM Stefan Soko/lowski y Gda'nsk, 9 February 1994 1 Introduction A new variant…
- Cited by 6 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
