Вы здесь

Главная

Pena R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Sized Types for Typing Eden Skeletons 2002 Pena R., Segura C. Lecture Notes in Computer Science 18.05.2002
СТ Proving the Correctness of the STG Machine 2002 De La Encina A., Pena R. Lecture Notes in Computer Science 18.05.2002
СТ A Polynomial-Cost Non-determinism Analysis 2002 Pena R., Segura C. Lecture Notes in Computer Science 18.05.2002
СТ Adding Traces to a Lazy Monadic Evaluator 2001 Pareja C., Pena R., Rubio F., Segura C. Lecture Notes in Computer Science 19.01.2002
СТ Non-determination Analysis in a Parallel-Functional Language 2001 Pena R., Segura C. Lecture Notes in Computer Science 23.05.2001
СТ Implementing Eden - or: Dreams Become Reality 1999 Klusik U., Ortega Y., Pena R. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.08.1999
СТ DREAM: The DistRibuted Eden Abstract Machine 1998 Breitinger S., Klusik U., Loogen R., Ortega-Mallen Y., Pena R. Lecture Notes in Computer Science 09.10.1998
СТ Functional Skeletons Generate Process Topologies in Eden 1996 Galan L. A., Pareja C., Pena R. Lecture Notes in Computer Science 20.11.1996
СТ A New Look at Pattern Matching in Abstract Data Types 1996 Gostanza P. P., Pena R., Nunez M. SIGPLAN Notices 11.09.1996
СТ A Second Year Course on Data Structures Based on Functional Programming 1995 Nunez M., Palao P., Pena R. Lecture Notes in Computer Science 30.01.1996
СТ A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions 1993 Pena R., Alonso L. M. Lecture Notes in Computer Science 26.05.1993
СТ Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems 1991 Alonso L., Pena R. Lecture Notes in Computer Science 13.09.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/3rd International Workshop, FOPARA 2013, Bertinoro, Italy, August 2013 2014 Lecture Notes in Computer Science
  1. Lago U. D.
  2. Pena R.
 18.01.2015
СБ Logic-Based Program Synthesis and Transformation: Revised Selected Papers/23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 2013 2014 Lecture Notes in Computer Science
  1. Gupta G.
  2. Pena R.
 18.01.2015
СБ Trends in Functional Programming: Revised Selected Papers/13th International Symposium, TFP 2012, St.Andrews, UK, June 2012 2013 Lecture Notes in Computer Science
  1. Loidl H. -W.
  2. Pena R.
 07.10.2013
СБ Foundational and Practical Aspects of Resource Analysis: Revised Selected Papers/2nd International Workshop, FOPARA 2011, Madrid, Spain, May 2011 2012 Lecture Notes in Computer Science
  1. Pena R.
  2. Van Eekelen M.
  3. Shkaravska O.
 03.09.2012
СБ Practical Aspects of Declarative Languages: Proc./12th International Symposium, PADL 2010, Madrid, Spain, January 2010 2010 Lecture Notes in Computer Science
  1. Carro M.
  2. Pena R.
 20.03.2010
СБ Implementation of Functional Languages: Revised Papers/15th International Workshop, IFL 2003. Edinburgh, UK, September 2003 2004 Lecture Notes in Computer Science
  1. Trinder Ph.
  2. Michaelson G.
  3. Pena R.
 26.02.2005
СБ Implementation of Functional Languages: Proc./14th Intern. Workshop, IFL 2002, Madrid, Spain, September 2002 2003 Lecture Notes in Computer Science
  1. Pena R.
  2. Arts T.
 19.06.2003