Searching for "Interfaces and Extended ML." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Interfaces and Extended ML
by Stefan Kahrs, Donald Sannella, Andrzej Tarlecki — 1993
…Interfaces and Extended ML Stefan Kahrs Donald Sannella y Andrzej Tarlecki z Abstract…
Add To MetaCart

Toward formal development of ML programs: foundations and methodology
by Donald Sannella, Andrzej Tarlecki — 1989
… programs to be structured into modules with explicitly-specified interfaces. In Extended ML…
Cited by 50 (20 self) – Add To MetaCart

Casl. 5 37. (with M. Bidoit) Behavioural satisfaction and equi...
by Nd Eq Ui
…--160. 35. (with S. Kahrs, D. Sannella) Interfaces in Extended ML. Proc. ACM Workshop on Interface…
Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB