Search Results for 'idealisation'
idealisation published presentations and documents on DocSlides.
Dynamic Translucency with Abstraction Kinds and higher order coercions
by lois-ondreau
As an idealisation of such a module language we p...
