4,035 research outputs found
Spartan Daily, April 28, 1969
Volume 56, Issue 107https://scholarworks.sjsu.edu/spartandaily/5192/thumbnail.jp
Spartan Daily, March 12, 1980
Volume 74, Issue 29https://scholarworks.sjsu.edu/spartandaily/6596/thumbnail.jp
Spartan Daily, March 12, 1980
Volume 74, Issue 29https://scholarworks.sjsu.edu/spartandaily/6596/thumbnail.jp
Spartan Daily, March 12, 1980
Volume 74, Issue 29https://scholarworks.sjsu.edu/spartandaily/6596/thumbnail.jp
Spartan Daily, February 26, 1970
Volume 57, Issue 73https://scholarworks.sjsu.edu/spartandaily/5356/thumbnail.jp
Spartan Daily, February 26, 1970
Volume 57, Issue 73https://scholarworks.sjsu.edu/spartandaily/5356/thumbnail.jp
A Typed Monadic Embedding of Aspects
International audienceWe describe a novel approach to embed pointcut/advice aspects in a typed functional programming language like Haskell. Aspects are first-class, can be deployed dynamically, and the pointcut language is extensible. Type soundness is guaranteed by exploiting the un- derlying type system, in particular phantom types and a new anti- unification type class. The use of monads brings type-based rea- soning about effects for the first time in the pointcut/advice setting, thereby practically combining Open Modules and EffectiveAdvice, and enables modular extensions of the aspect language
Spartan Daily, April 2, 1984
Volume 82, Issue 44https://scholarworks.sjsu.edu/spartandaily/7162/thumbnail.jp
- …