Author:
Chadwick Bryan,Lieberherr Karl
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Reference37 articles.
1. Agrawal, R., Demichiel, L.G., Lindsay, B.G.: Static type checking of multi-methods. In: OOPSLA ’91, pp. 113–128. ACM, New York (1991)
2. LNCS;R. Backhouse,1999
3. Bochmann, G.V.: Semantic evaluation from left to right. Commun. ACM 19(2), 55–62 (1976)
4. Chadwick, B.: Algorithms in DemeterF (May 2009). http://www.ccs.neu.edu/home/chadwick/files/algo.pdf
5. Chadwick, B., Lieberherr, K.: A type system for functional traversal-based aspects. In: AOSD 2009, FOAL Workshop. ACM, New York (2009)