@mastersthesis{monjaraz2010,
  author = {Rub{\'{e}}n Monjaraz},
  title = {From the $\pi$-calculus to {Flat} {GHC}},
  school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de Madrid},
  year = 2010,
  month = {March},
  note = {Advisor: Julio Mari{\~{n}}o. Joint degree with TU Dresden.}
}
@misc{agarcia:2011:brics-retreat,
  tipoactividad = {Otras publicaciones},
  internacional = {no},
  abstract = {The Beta Cube systematises and articulates a plethora of
                  lambda claculus reduction strategies. Along with the cube,
                  we present an hybridisation operator, which allows to
                  produce new strategies composing two existing strategies
                  from the cube. The cube reveals interesting algebraic
                  properties of the strategies and helps to reason about
                  standardization and normalization regarding to different
                  lambda theories.},
  author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
  title = {The Beta Cube},
  month = {March 29},
  year = {2010},
  note = {Poster at the BRICS Retreat 2011},
  address = {DanParcs Sohojlandet, Gjern, Denmark},
  pdf = {http://babel.ls.fi.upm.es/home/~agarcia/posters/BRICS_retreat/poster.pdf}
}
@unpublished{agp_tpf2010,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {no},
  author = {{{\'{A}}lvaro} {Garc{\'{i}}a-P{\'{e}}rez}},
  title = {El Cubo Beta},
  note = {Charla impartida en el II Taller de Programaci{\'{o}}n Funcional
                  {TPF} 2010},
  descripcion = {El c{\'{a}}lculo lambda y sus estrategias de reducci{\'{o}}n han tenido
                  un enorme impacto en el campo de los lenguajes de
                  programaci{\'{o}}n, en particular en su dise{\~{n}}o y mecanismos de
                  evaluaci{\'{o}}n. Peter Sestoft recoge y define de forma precisa,
                  mediante reglas big-step, las estrategias de reducci{\'{o}}n m{\'{a}}s
                  conocidas del calculo lambda puro (sin tipos), estrategias
                  tales como applicative order, normal order, call-by-name,
                  call-by-value, head spine y otras menos conocidas
                  denominadas, informalmente, h{\'{i}}bridas. Parte de la motivaci{\'{o}}n
                  de Sestoft es precisar el significado que las estrategias
                  usadas en programaci{\'{o}}n tienen en el c{\'{a}}lculo lambda puro,
                  donde hay variables libres y se pueden reducir los cuerpos
                  de funciones. Sestoft implementa cada estrategia como una
                  funci{\'{o}}n de reducci{\'{o}}n en ML. En esta charla hablaremos del
                  trabajo realizado junto a Pablo Nogueira y Emilio Jes{\'{u}}s
                  Gallego Arias sobre el Cubo Beta presentado en el 1st
                  International Workshop on Strategies in Rewriting, Proving,
                  and Programming. Este trabajo es una continuaci{\'{o}}n y
                  generalizaci{\'{o}}n de los esfuerzos de Sestoft.},
  organization = {II Taller de Programaci{\'{o}}n Funcional {TPF} 2010},
  month = {September 7},
  year = {2010},
  url = {http://users.dsic.upv.es/~jsilva/TPF2010/}
}
@unpublished{susana:2010:charla8,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
  title = {Emerging Free Software market in Developing Countries},
  organization = {SHARE (Improving European Embedded Sustems Industry
                  through Open Source SW Sharing) Project},
  note = {SIGs Online SHARE Event },
  month = {February 17},
  year = {2010},
  pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-share.pdf}
}
@unpublished{susana:2010:charla7,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
  title = {Tecnologia para el Desarrollo y la Cooperacion (TEDECO)},
  note = {1a Jornada de Solidaridad y Cooperacion de la UPM},
  address = {Madrid, Spain},
  month = {April 28},
  year = {2010},
  pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-TEDECO_Jornadas_Solidaridad.pdf}
}
@unpublished{susana:2010:charla6,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
  title = {Experi{\'{e}}ncias de TIC en Desarrollo},
  note = {Ingenier{\'{i}}a de Telecomunicaci{\'{o}}n en Cooperaci{\'{o}}n para el Desarrollo},
  address = {Madrid, Spain},
  month = {April 29},
  year = {2010},
  pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-TEDECO_Jornadas_Solidaridad.pdf}
}
@unpublished{susana:2010:charla5,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
  title = {Tecnolog{\'{i}}a para el Desarrollo y la Cooperaci{\'{o}}n: visi{\'{o}}n cr{\'{i}}tica},
  note = {Introducci{\'{o}}n a la cooperaci{\'{o}}n universitaria para el desarrollo},
  address = {Madrid, Spain},
  month = {July 7},
  year = {2010}
}
@unpublished{susana:2010:charla4,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Mu{\~n}oz Hern{\'a}ndez, Susana},
  title = {Internacionalizaci{\'{o}}n en los estudios de M{\'{a}}ster},
  note = {1{$^a$} Jornada De Innovaci{\'{o}}n Educativa: Innovaci{\'{o}}n en la gesti{\'{o}}n y organizaci{\'{o}}n de la docencia y del aprendizaje en los t{\'{i}}tulos de grado y m{\'{a}}ster},
  address = {Cadiz, Spain},
  month = {July 14},
  year = {2010},
  pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-UCA.pdf}
}
@unpublished{susana:2010:charla3,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Seminario "Introducci{\'{o}}n al trabajo en equipo I"},
  note = {II Plan de Tutor{\'{i}}a Curricular de la Facultad de Inform{\'{a}}tica de la Universidad Polit{\'{e}}cnica de Madrid},
  address = {Madrid, Spain},
  month = {September 2},
  year = {2010},
  pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-Trabajo_en_Equipo.pdf}
}
@unpublished{susana:2010:charla2,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Mesa Redonda "{?`}Qu{\'{e}} hace la universidad por el acercamiento de las culturas?"},
  note = {VII Jornadas Internacionales de Innovaci{\'{o}}n Universitaria de la Universidad Europea de Madrid},
  address = {Madrid, Spain},
  month = {September 6},
  year = {2010}
}
@unpublished{susana:2010:charla1,
  tipoactividad = {Cursos, seminarios y tutoriales},
  internacional = {yes},
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Seminario "Introducci{\'{o}}n al trabajo en equipo II"},
  note = {II Plan de Tutor{\'{i}}a Curricular de la Facultad de Inform{\'{a}}tica de la Universidad Polit{\'{e}}cnica de Madrid},
  address = {Madrid, Spain},
  month = {October 19},
  year = {2010},
  pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-Trabajo_en_Equipo.pdf}
}
@inproceedings{5492481,
  author = {Mateo, J.M. and del Rey, D.P. and {Mu{\~{n}}oz-Hern{\'{a}}ndez}, Susana},
  booktitle = {Education Engineering (EDUCON), 2010 IEEE},
  title = {Student motivation and cross-curricular development through e-learning applied to cooperation},
  year = {2010},
  month = {April},
  volume = {},
  number = {},
  pages = {913 -920},
  abstract = {Technologies and especially information and communication
                  technologies (ICT) are barrier breaking in the
                  current social scenario. Their use is becoming
                  essential for any professional, and their scope of
                  use is becoming particularly widespread in education
                  due to the existence of communication outside the
                  classroom through e-learning tools. Universities,
                  which play an innovative role in education, are
                  using ICT-based approaches to adapt their learning
                  methodology. In this paper, we present a model where
                  students from first-world universities prepare and
                  adapt course contents for use in educational
                  institutions in developing countries. The objectives
                  of this initiative of students' participating in
                  e-learning projects with developing countries are to
                  improve their motivation, develop a set of
                  cross-curricular competencies, and transfer
                  technologies within the scope of university
                  development cooperation.},
  keywords = {course contents;cross-curricular
                  development;e-learning;educational
                  institutions;educational universities;information
                  and communication technologies;student
                  motivation;university development
                  cooperation;computer aided instruction;educational
                  courses;educational institutions;},
  doi = {10.1109/EDUCON.2010.5492481},
  issn = {}
}
@inproceedings{Martinez_ICTEL2010,
  author = {Mart\'inez-Mateo, Jes\'us and {Mu{\~{n}}oz-Hern{\'{a}}ndez}, Susana and P\'erez-Rey, David},
  title = {{A Discussion of Thin Client Technology for Computer Labs}},
  booktitle = {First International Multi-Conference on Innovative Developments in ICT (INNOV 2010)},
  year = {2010},
  editor = {Shishkov, Boris and Tsihrintzis, George A. and Virvou, Maria},
  pages = {119-124},
  organization = {Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST)},
  month = {July},
  note = {First International Conference on Technology-Enhanced Learning (ICTEL 2010)}
}
@inproceedings{DBLP:conf/ijcci/VegaLM10,
  author = {Trigo~de~la~Vega, Teresa and
               L{\'{o}}pez-Garc{\'{\i}}a, Pedro and
               Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Towards Fuzzy Granularity Control in Parallel/Distributed Computing},
  booktitle = {IJCCI (ICFC-ICNC)},
  year = {2010},
  pages = {43-55},
  crossref = {DBLP:conf/ijcci/2010-1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  note = {Best Student Paper Award ICFC 2010}
}
@inproceedings{DBLP:conf/ijcci/VegaLM10a,
  author = {Trigo~de~la~Vega, Teresa and
               L{\'{o}}pez-Garc{\'{\i}}a, Pedro and
               Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {A Fuzzy Approach to Resource Aware Automatic Parallelization},
  booktitle = {Computational Intelligence - Revised and Selected Papers of the International
               Joint Conference, {IJCCI} 2010, Valencia, Spain, October 2010},
  pages = {229--245},
  year = {2010},
  crossref = {DBLP:conf/ijcci/2010-s},
  url = {http://dx.doi.org/10.1007/978-3-642-27534-0_15},
  doi = {10.1007/978-3-642-27534-0_15},
  timestamp = {Mon, 21 May 2012 19:31:48 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcci/VegaLM10a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inbook{book:2010:susana,
  author = {Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  title = {Robot Soccer},
  chapter = {RFuzzy: an Easy and Expressive Tool for Modelling
                  the Cognitive Layer in RoboCupSoccer},
  publisher = {InTech},
  year = {2010},
  isbn = {978-953-307-036-0},
  tipoactividad = {Capitulos de libro},
  note = {Editor Vladan Papic},
  internacional = {yes},
  pdf = {http://www.intechopen.com/articles/show/title/rfuzzy-an-easy-and-expressive-tool-for-modelling-the-cognitive-layer-in-robocupsoccer}
}
@techreport{2010:pehe:ezweb_comm_models,
  author = {{{\'{A}}ngel} Herranz and P{\'{e}}rez, Iv{\'{a}}n},
  title = {Communication Models for Resource Mashups},
  institution = {Babel Group, Universidad Polit{\'{e}}cnica de Madrid},
  year = {2010},
  number = {UPM-BABEL-2010-002},
  month = mar
}
@techreport{2010:pehe:ezweb_types,
  author = {{{\'{A}}ngel} Herranz and P{\'{e}}rez, Iv{\'{a}}n},
  title = {Compatible Communication in Mashups},
  institution = {Babel Group, Universidad Polit{\'{e}}cnica de Madrid},
  year = {2010},
  number = {UPM-BABEL-2010-001},
  month = jan
}
@inproceedings{erlang:2010:afdcbelf,
  title = {Implementing a Multiagent Negotiation Protocol in Erlang.},
  author = {{{\'{A}}lvaro} {Fern{\'{a}}ndez D{\'{i}}az} and {Clara {Benac Earle}} and {Lars-{\AA}ke {Fredlund}}},
  booktitle = {Ninth ACM SIGPLAN Erlang Workshop, Erlang'10},
  isbn = {978-1-60558-507-9},
  month = {September 30},
  year = {2010},
  publisher = {ACM},
  pages = {69--74},
  tipoactividad = {Ponencias en congresos},
  pdf = {http://babel.ls.fi.upm.es/~fred/p69-fernandez.pdf},
  address = {Baltimore, Maryland, USA},
  revisores = {yes},
  abstract = { In this paper we present the verification of a multi-agent
  negotiation protocol. The verification of this kind of highly
  concurrent and distributed systems is hard. We present some evidence
  that shows Erlang is a very good choice for implementing this kind
  of systems due to the quite high mapping between the protocol
  specification and Erlang constructs. The use of this programming
  language also provides the capability to handle a larger number of agents
  than other implementations, with substantially better performance.}
}
@inproceedings{erlang:2010:svensson_fredlund_benac,
  title = {A unified semantics for future Erlang},
  author = {H. Svensson and C. Benac Earle and L. Fredlund},
  isbn = {978-1-60558-507-9},
  booktitle = {Ninth ACM SIGPLAN Erlang Workshop, Erlang'10},
  tipoactividad = {Ponencias en congresos},
  pages = {23--32},
  day = {30},
  publisher = {ACM},
  month = {September},
  year = {2010},
  pdf = {http://babel.ls.fi.upm.es/~fred/p23-svensson.pdf},
  address = {Baltimore, Maryland, USA}
}
@inproceedings{jisbd:2010:vpcafdsmh,
  title = {Developing user-sensitive search engines from fuzzy concepts.},
  author = {Pablos-Ceruelo, V{\'{i}}ctor and {\'A}lvaro {Fern{\'a}ndez D{\'i}az} and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana},
  booktitle = {Actas XV Jornadas de Ingenier{\'i}a del Software y Bases de Datos (JISBD'10)},
  month = {September 7-10},
  year = {2010},
  address = {Valencia, Spain},
  pages = {175-186},
  isbn = {978-84-92812-51-6},
  note = {http://www.dsic.upv.es/conferences/jisbd2010/articulos.shtml}
}
@inproceedings{hardandsoft:2010:afdvpcsmh,
  title = {Developing user-sensitive e-commerce applications from fuzzy concepts},
  author = {{\'A}lvaro {Fern{\'a}ndez D{\'i}az} and Mu{\~{n}}oz-Hern{\'{a}}ndez, Susana and Pablos-Ceruelo, V{\'{i}}ctor},
  booktitle = {Algebraic methods, soft computing, and program verification},
  month = {April 21-23},
  year = {2010},
  note = {Keynote Speakers: Thomas Arts (Univ. of Gothenburg), Gilles Barthe (Madrid Institute for Advanced Studies (Software)), Stefan Berghofer (Technische Universit{\"{a}}t M{\"{u}}nchen), Mario de Jes{\'u}s P{\'e}rez Jim{\'e}nez (Univ. de Sevilla), Jos{\'e} Luis Ruiz Reina (Univ. de Sevilla), Enric Trillas (European Centre for Soft Computing)},
  address = {"International Center for Mathematical Meetings (CIEM), Castro Urdiales (Cantabria), Spain"},
  organization = {Julio Rubio (Univ. de La Rioja) and Manuel Ojeda-Aciego (Univ. de M{\'a}laga). Sponsored by: Ingenio2010, CIEM, Excmo. Ayuntamiento de Castro Urdiales},
  internacional = {yes}
}
@inproceedings{hema:2010:esoofn,
  author = {{{\'{A}}ngel} Herranz and Julio Mari{\~{n}}o},
  title = {Executable Specifications in an Object Oriented Formal Notation},
  booktitle = {20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010},
  organization = {Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz},
  address = {Hagenberg, Austria},
  month = jul,
  year = {2010},
  abstract = {Early validation of requirements is crucial for the rigorous
                  development of software. Without it, even the most formal of the
                  methodologies will produce the wrong outcome.
                  One successful approach, popularised by some of the so-called
                  lightweight formal methods, consists in generating (finite,
                  small) models of the specifications. Another possibility is to build a
                  running prototype from those specifications.
                  In this paper we show how to obtain executable prototypes from formal
                  specifications written in an object oriented notation by translating
                  them into logic programs.
                  This has a number of advantages over other lightweight methodologies.
                  For instance, we recover the possibility of dealing with recursive
                  data types as specifications that use them often lack finite models.},
  pages = {144-158},
  tipoactividad = {Ponencias en congresos},
  international = {yes},
  revisores = {yes},
  pdf = {http://babel.ls.fi.upm.es/~angel/papers/clay2prolog-LOPSTR2010preproceedings.pdf}
}
@inproceedings{castro_benac_fredlund_gulias_rivas:tfp2010,
  author = {D. Castro and C. Benac Earle and L. Fredlund and V. Gul{\'{i}}as and S. Rivas},
  title = {{Using McErlang to verify an Erlang process supervision component}},
  booktitle = {Trends in Functional Programming 2010},
  year = {2010},
  alttipoactividad = {Ponencias en congresos},
  abstract = {We present a case-study in which a tool for model checking programs
written in Erlang, McErlang, was used to verify a complex concurrent
component. The component is an alternative implementation of the standard
supervisor behaviour of Erlang/OTP. This implementation, in use at the
company LambdaStream, was checked against several safety and liveness
properties.  In one case, McErlang found an error.},
  pdf = {http://www.cs.ou.edu/tfp2010/files/22.pdf},
  month = {May}
}
@inproceedings{castro_benac_fredlund_gulias_rivas:prole2010,
  author = {D. Castro and C. Benac Earle and L. Fredlund and V. Gul{\'{i}}as and S. Rivas},
  title = {A verification of a process supervisor with McErlang},
  booktitle = {PROLE 2010 -- Jornadas sobre Programacion y Lenguajes},
  abstract = {In this paper we present a work in progress on the formal verification
of a process supervisor using the McErlang model checker.  The process
supervisor is an alternative implementation of the standard supervisor
behaviour of Erlang/OTP. This implementation, in use at the company
LambdaStream, was checked against several safety and liveness
properties.},
  isbn = {978-84-92812-55-4},
  pdf = {http://babel.ls.fi.upm.es/~fred/prole2010.pdf},
  tipoactividad = {Ponencias en congresos},
  year = {2010},
  month = {September}
}
@article{protest_2010,
  author = {Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon},
  affiliation = {Department of Computing, University of Sheffield, Sheffield, S1 4DP UK},
  tipoactividad = {Ponencias en congresos},
  title = {Property-Based Testing - The ProTest Project},
  booktitle = {Formal Methods for Components and Objects},
  series = {Lecture Notes in Computer Science},
  editor = {de Boer, Frank and Bonsangue, Marcello and Hallerstede, Stefan and Leuschel, Michael},
  publisher = {Springer Berlin / Heidelberg},
  isbn = {},
  pages = {250-271},
  isbn = {978-3-642-17070-6},
  volume = {6286},
  url = {http://dx.doi.org/10.1007/978-3-642-17071-3_13},
  year = {2010}
}
@inproceedings{Quo_benac_fredlund_2010,
  author = {Qiang Guo and John Derrick and Clara Benac Earle and Lars-{\AA}ke Fredlund},
  title = {Model-Checking Erlang - A Comparison between EtomCRL2 and
               McErlang},
  booktitle = {Testing - practice and research techniques (TAIC PART 2010)},
  year = {2010},
  publisher = {LNCS, Springer Verlag},
  number = {6303},
  tipoactividad = {Ponencias en congresos},
  location = {Windsor,UK},
  pages = {23-3},
  isbn = {3-642-15584-7},
  ee = {http://dx.doi.org/10.1007/978-3-642-15585-7_5},
  abstract = {Model-checking programs is important in the development of a reliable software system. Two approaches might be applied to model-check a system at a source code level. One is to directly apply model-checking algorithm to the programming language; the other to abstract the program source codes into a formal specification, upon which some standard model-checkers can be used to verify system's properties. Both methods have recently been investigated for model-checking the functional programming language Erlang. Correspondingly, two Erlang model-checkers McErlang and Etomcrl2 are developed. This paper evaluates the two model-checkers by applying them to verify a a distributed and concurrent example - telecoms implemented in Erlang/OTP. A number of system key properties are model-checked with both tool-sets. Advantages and disadvantages upon the uses of Etomcrl2 and McErlang are compared and summarized. Through such a case study, we intend to evaluate the two model-checkers on their effectiveness when verifying distributed and concurrent systems, and propose suggestions for their future work.}
}
@article{gabbay:curhid-jv,
  title = {Curry-Howard for incomplete first-order logic
                  derivations using one-and-a-half level terms},
  author = {Murdoch J. Gabbay and Dominic Mulligan},
  journal = {Information and Computation},
  issn = {0890-5401},
  volume = {208},
  issue = {3},
  month = {March},
  year = {2010},
  pages = {230-258},
  doi = {http://dx.doi.org/10.1016/j.ic.2009.09.003}
}
@inproceedings{pniTPF10,
  tipoactividad = {Conferencias invitadas en congresos},
  internacional = {no},
  revisores = {no},
  author = {Pablo Nogueira},
  title = {Programaci{\'{o}}n gen{\'{e}}rica funcional: variaciones sobre los
                  mismos temas},
  booktitle = {{II} {T}aller de {P}rogramaci{\'{o}}n {F}uncional, {X} {J}ornadas
                  sobre {P}rogramaci{\'{o}}n y {L}enguajes - {PROLE}'10, {III}
                  {C}ongreso {E}spa{\~{n}}ol de {I}nform{\'{a}}tica - {CEDI}'10},
  year = {2010},
  address = {Valencia},
  month = {September 7},
  organization = {Sociedad Cient{\'{i}}fica Inform{\'{a}}tica de Espa{\~{n}}a, IEEE Secci{\'{o}}n
                  Espa{\~{n}}a, Universidad Polit{\'{e}}cnica de Valencia}
}
@inproceedings{GNG:IWS:2010,
  tipoactividad = {Ponencias en congresos},
  internacional = {yes},
  revisores = {yes},
  author = {{{\'{A}}lvaro} Garc{\'{i}}a and Pablo Nogueira and Emilio Jes{\'{u}}s {Gallego
                  Arias}},
  title = {The Beta Cube (Extended Abstract)},
  booktitle = {Proceedings of the 1st {I}nternational {W}orkshop on {S}trategies
                  in {R}ewriting, {P}roving, and {P}rogramming - {IWS}'10},
  pages = {3--7},
  year = {2010},
  editor = {C{\'{e}}sar Mu{\~{n}}oz and H{\'{e}}l{\`{e}}ne Kirchner},
  address = {Edinburgh, UK},
  month = {July 9},
  abstract = {We define a big-step-style template for reduction strategies
                  that can be instantiated to the foremost (and more)
                  reduction strategies of the pure lambda calculus. We
                  implement the template in Haskell as a parametric monadic
                  reducer whose fixed points are reduction strategies. The
                  resulting code is clean and abstracts away from the
                  machinery required to guarantee semantics preservation for
                  all strategies in lazy Haskell. By interpreting some
                  parameters as boolean switches we obtain a reduction
                  strategy lattice or beta cube which captures the strategy
                  space neatly and systematically. We define a hybridisation
                  function that generates hybrid strategies by composing a
                  base and a subsidiary strategy from the cube. We prove an
                  absorption theorem which states that subsidiaries are
                  left-identities of their hybrids. More properties from the
                  cube remain to be explored},
  url = {http://iws2010.inria.fr/IWS2010-proceedings.pdf},
  pdf = {http://babel.ls.fi.upm.es/~agarcia/papers/IWS2010/beta-cube.pdf}
}
@proceedings{DBLP:conf/ijcci/2010-1,
  editor = {Joaquim Filipe and Janusz Kacprzyk},
  title = {ICFC-ICNC 2010 - Proceedings of the International Conference
               on Fuzzy Computation and International Conference on Neural
               Computation, [parts of the International Joint Conference
               on Computational Intelligence IJCCI 2010], Valencia, Spain,
               October 24-26, 2010},
  optbooktitle = {IJCCI (ICFC-ICNC)},
  publisher = {SciTePress},
  year = {2010},
  isbn = {978-989-8425-32-4},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcci/2010-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcci/2010-s,
  editor = {Kurosh Madani and Ant{\'{o}}nio Dourado Correia and
               Agostinho C. Rosa and Joaquim Filipe},
  title = {Computational Intelligence - Revised and Selected Papers of the International
               Joint Conference, {IJCCI} 2010, Valencia, Spain, October 2010},
  series = {Studies in Computational Intelligence},
  volume = {399},
  publisher = {Springer},
  year = {2012},
  url = {http://dx.doi.org/10.1007/978-3-642-27534-0},
  doi = {10.1007/978-3-642-27534-0},
  isbn = {978-3-642-27533-3},
  timestamp = {Mon, 21 May 2012 19:31:48 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/ijcci/2010-s},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

This file was generated by bibtex2html 1.98.