Takip et
Daniël Tuijnman
Daniël Tuijnman
Bilinmeyen bağlantı
velotype.nl üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Lightweight GUIs for functional programming
T Vullinghs, D Tuijnman, W Schulte
International Symposium on Programming Language Implementation and Logic …, 1995
391995
How to Produce Correct Software–An Introduction to Formal Specification and Program Development by Transformations
EA Boiten, HA Partsch, D Tuijnman, N Voelker
The Computer Journal 35 (6), 547-554, 1992
181992
A categorical approach to functional programming
D Tuijnman
Shaker, 1997
171997
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–3