Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 1981
Fokkinga, M.M.
(1981)
On the notion of strong typing.
In: Algorithmic Languages, 26-29 Oct 1981, Amsterdam, The Netherlands.
pp. 305-320.
IFIP TC2, North-Holland.
ISBN 0-444-86285-4
1975
Fokkinga, M.M.
(1975)
Recursieve procedures en eenvoudige inductie asserties.
In:
Colloquium Programmacorrectheid.
Mathematical Centre Syllabus 21.
Mathematical Centre, Amsterdam, The Netherlands, pp. 151-165.
ISBN 90-6196-103-3
This list was generated on Thu May 24 05:27:37 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||