Generic and Indexed Programming : Publications
|
[1] |
Refactoring Pattern Matching Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu In Science of Computer Programming. January, 2012. Revised version of the MPC2010 paper "Gradual Refinement" |
|
[2] |
Combining Syntactic and Semantic Bidirectionalization Janis Voigtlander‚ Zhenjiang Hu‚ Kazutaka Matsuda and Meng Wang In ACM SIGPLAN International Conference on Functional Programming. ACM. 2010. To Appear |
|
[3] |
Gradual Refinement: Blending Pattern Matching with Data Abstraction Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu In Jules Desharnais, editor, Mathematics of Program Construction. Vol. 6120 of LNCS. 2010. See revised journal version "Refactoring Pattern Matching" Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-13321-3_22) | Download (pdf) |
|
[4] |
EffectiveAdvice: Disciplined Advice with Explicit Effects Tom Schrijvers Bruno C. d. S. Oliveira and William R. Cook In ACM SIG Proceedings of the 9th International Conference on Aspect−Oriented Software Development (AOSD). 2010. |
|
[5] |
Scala for Generic Programmers Bruno C. d. S. Oliveira and Jeremy Gibbons In Journal of Functional Programming. Vol. 20. No. 3‚4. Pages 303−352. 2010. Revised version of the WGP2008 paper Details | BibTeX | DOI (10.1017/S0956796810000171) | Download (pdf) |
|
[6] |
The Different Aspects of Monads and Mixins Bruno C. d. S. Oliveira 2009. Draft Paper. Last Update: 04/03/2009. Submitted to ICFP 2009. |
|
[7] |
Comparing Datatype Generic Libraries in Haskell Bruno C. d. S. Oliveira Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov In Journal of Functional Programming. 2009. Revised version of the Haskell Symposium 2008 paper |
|
[8] |
What Does Aspect−Oriented Programming Mean for Functional Programmers? Meng Wang and Bruno C. d. S. Oliveira In Patrik Jansson, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming (WGP'09). ACM. August, 2009. |
|
[9] |
Modular Visitor Components: A Practical Solution to the Expression Families Problem Bruno C. d. S. Oliveira In Sophia Drossopoulou, editor, 23rd European Conference on Object Oriented Programming (ECOOP). July, 2009. |
|
[10] |
Translucent Abstraction: Safe Views through Invertible Programming (Extended version) Meng Wang‚ Jeremy Gibbons and Kazutaka Matsuda 2009. |
|
[11] |
Parametric Datatype−Genericity Jeremy Gibbons and Ross Paterson In Workshop on Generic Programming. Edinburgh. August, 2009. Details | BibTeX | DOI (10.1145/1596614.1596626) | Download (pdf) |
|
[12] |
The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component Bruno C. d. S. Oliveira‚ Meng Wang and Jeremy Gibbons In Object−Oriented Programming: Systems‚ Languages‚ Applications (OOPSLA). 2008. Details | BibTeX | DOI (10.1145/1449764.1449799) | Download (pdf) |
|
[13] |
Objects to Unify Type Classes and GADTs Bruno C. d. S. Oliveira and Martin Sulzmann 2008. |
|
[14] |
Comparing Libraries for Generic Programming in Haskell Bruno C. d. S. Oliveira Alexey Rodriguez Johan Jeuring Patrik Jansson Alex Gerdes Oleg Kiselyov In Haskell Symposium. 2008. |
|
[15] |
Unfolding Abstract Datatypes Jeremy Gibbons In Mathematics of Program Construction. July, 2008. Details | BibTeX | DOI (10.1007/978-3-540-70594-9_8) | Download (pdf) |
|
[16] |
Scala for Generic Programmers Bruno Oliveira and Jeremy Gibbons In Ralf Hinze, editor, Workshop on Generic Programming. Victoria‚ BC. September, 2008. Details | BibTeX | DOI (10.1145/1411318.1411323) | Download (pdf) |
|
[17] |
Genericity‚ extensibility and type−safety in the Visitor pattern Bruno C. d. S. Oliveira PhD Thesis 2007. |
|
[18] |
Generic and Indexed Programming Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira In Marco Morazan, editor, Trends in Functional Programming. 2007. |