Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
research:software:effectiveaspects [2013/06/14 13:30] – ifigueroresearch:software:effectiveaspects [2014/03/03 12:08] (current) – ifiguero
Line 1: Line 1:
-====== Aspect-Oriented Programming in Haskell ======  +====== Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice ======  
-This is the main page for our research on aspect-oriented programming (AOP) in Haskell. We have developed the Haskell AOP library that provides the full pointcut/advice model of AOP into a monadic setting. Read below for further details.+This is the main page for our research on pointcut/advice model of aspect-oriented programming (AOP) in monadic setting. We have developed a Haskell AOP library that provides the full pointcut/advice model of AOP into a monadic setting. Read below for further details.
  
 +** See our follow-up work: [[http://pleiad.cl/research/cri|Compositional Reasoning About Aspect Interference]] **
 +
 +====== Code for our Transactions on Aspect-Oriented Software Development Submission ======
 +
 +**Thesis Reviewers: this source code also corresponds to the manuscript**
 +
 +The code for our TAOSD submission can be downloaded {{research:software:effectiveaspects-taosd.zip|here}}
  
 ====== A Typed Monadic Embedding of Aspects (AOSD 2013) ====== ====== A Typed Monadic Embedding of Aspects (AOSD 2013) ======