Example of Complication (1/2)
In ML:
f : int->int¨§ f(3) : int
eventually returns a unique result(unless ¡Æinfinite loop¡Ç or ¡Æside effect¡Ç)
Previous slide
Next slide
Back to first slide
View graphic version