Report copyright - LNCS 8400 - Effective Aspects: A Typed Monadic …in the full pointcut/advice model. Type soundness is guaranteed by exploiting the underlying type system, in particular phantom types
Please pass captcha verification before submit form