Generic and Indexed Programming: Publications

Journal papers

• [1]

  Refactoring Pattern Matching

  Meng Wang‚ Jeremy Gibbons‚ Kazutaka Matsuda and Zhenjiang Hu

  In Science of Computer Programming. Vol. 78. No. 11. Pages 2216−2242. January, 2012.

  Revised version of the MPC2010 paper "Gradual Refinement"

  Details about Refactoring Pattern Matching | BibTeX data for Refactoring Pattern Matching | DOI (10.1016/j.scico.2012.07.014) | Download (pdf) of Refactoring Pattern Matching

• [2]

  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 about Scala for Generic Programmers | BibTeX data for Scala for Generic Programmers | DOI (10.1017/S0956796810000171) | Download (pdf) of Scala for Generic Programmers

• [3]

  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

  Details about Comparing Datatype Generic Libraries in Haskell | BibTeX data for Comparing Datatype Generic Libraries in Haskell

Conference papers

• [1]

  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

  Details about Combining Syntactic and Semantic Bidirectionalization | BibTeX data for Combining Syntactic and Semantic Bidirectionalization

• [2]

  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 about Gradual Refinement: Blending Pattern Matching with Data Abstraction | BibTeX data for Gradual Refinement: Blending Pattern Matching with Data Abstraction | Download  (pdf) of Gradual Refinement: Blending Pattern Matching with Data Abstraction | DOI (10.1007/978-3-642-13321-3_22) | Download (pdf) of Gradual Refinement: Blending Pattern Matching with Data Abstraction

• [3]

  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.

  Details about EffectiveAdvice: Disciplined Advice with Explicit Effects | BibTeX data for EffectiveAdvice: Disciplined Advice with Explicit Effects

• [4]

  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.

  Details about What Does Aspect−Oriented Programming Mean for Functional Programmers? | BibTeX data for What Does Aspect−Oriented Programming Mean for Functional Programmers? | Download  (pdf) of What Does Aspect−Oriented Programming Mean for Functional Programmers?

• [5]

  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.

  Details about Modular Visitor Components: A Practical Solution to the Expression Families Problem | BibTeX data for Modular Visitor Components: A Practical Solution to the Expression Families Problem | Download  (pdf) of Modular Visitor Components: A Practical Solution to the Expression Families Problem

• [6]

  Translucent Abstraction: Safe Views through Invertible Programming (Extended version)

  Meng Wang‚ Jeremy Gibbons and Kazutaka Matsuda

  2009.

  Details about Translucent Abstraction: Safe Views through Invertible Programming (Extended version) | BibTeX data for Translucent Abstraction: Safe Views through Invertible Programming (Extended version) | Download  (pdf) of Translucent Abstraction: Safe Views through Invertible Programming (Extended version)

• [7]

  Parametric Datatype−Genericity

  Jeremy Gibbons and Ross Paterson

  In Workshop on Generic Programming. Edinburgh. August, 2009.

  Details about Parametric Datatype−Genericity | BibTeX data for Parametric Datatype−Genericity | DOI (10.1145/1596614.1596626) | Download (pdf) of Parametric Datatype−Genericity

• [8]

  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 about The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | BibTeX data for The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component | DOI (10.1145/1449764.1449799) | Download (pdf) of The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component

• [9]

  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.

  Details about Comparing Libraries for Generic Programming in Haskell | BibTeX data for Comparing Libraries for Generic Programming in Haskell

• [10]

  Unfolding Abstract Datatypes

  Jeremy Gibbons

  In Mathematics of Program Construction. July, 2008.

  Details about Unfolding Abstract Datatypes | BibTeX data for Unfolding Abstract Datatypes | DOI (10.1007/978-3-540-70594-9_8) | Download (pdf) of Unfolding Abstract Datatypes

• [11]

  Scala for Generic Programmers

  Bruno Oliveira and Jeremy Gibbons

  In Ralf Hinze, editor, Workshop on Generic Programming. Victoria‚ BC. September, 2008.

  Details about Scala for Generic Programmers | BibTeX data for Scala for Generic Programmers | DOI (10.1145/1411318.1411323) | Download (pdf) of Scala for Generic Programmers

• [12]

  Generic and Indexed Programming

  Jeremy Gibbons‚ Meng Wang and Bruno Cesar dos Santos Oliveira

  In Marco Morazan, editor, Trends in Functional Programming. 2007.

  Details about Generic and Indexed Programming | BibTeX data for Generic and Indexed Programming | Download (pdf) of Generic and Indexed Programming

Theses

• [1]

  Genericity‚ extensibility and type−safety in the Visitor pattern

  Bruno C. d. S. Oliveira

  PhD Thesis 2007.

  Details about Genericity‚ extensibility and type−safety in the Visitor pattern | BibTeX data for Genericity‚ extensibility and type−safety in the Visitor pattern | Download  (pdf) of Genericity‚ extensibility and type−safety in the Visitor pattern | Download (pdf) of Genericity‚ extensibility and type−safety in the Visitor pattern

Miscellaneous

• [1]

  The Different Aspects of Monads and Mixins

  Bruno C. d. S. Oliveira

  2009.

  Draft Paper. Last Update: 04/03/2009. Submitted to ICFP 2009.

  Details about The Different Aspects of Monads and Mixins | BibTeX data for The Different Aspects of Monads and Mixins | Download  (pdf) of The Different Aspects of Monads and Mixins

• [2]

  Objects to Unify Type Classes and GADTs

  Bruno C. d. S. Oliveira and Martin Sulzmann

  2008.

  Details about Objects to Unify Type Classes and GADTs | BibTeX data for Objects to Unify Type Classes and GADTs