Jeremy Gibbons

Creative Commons Attribution-Share Alike 3.0
Hat mitgewirkt an:
-
Mathematics of program construction : 11th international conference ; proceedings
-
Generic and indexed programming : international spring school ; revised lectures
-
Teaching formal methods : second international conference ; proceedings
-
Foundations of health information engineering and systems : third international symposium ; revised selected papers