BibSonomy :: author  ::

bookmarks

publications

(24)

• Minimality in a Linear Calculus with Iteration.
  Sandra Alves and Mário Florido and Ian Mackie and François-Régis Sinot Electr. Notes Theor. Comput. Sci. 204 163-179 (2008)
  to dblp by dblp on 2008-06-11 00:00:00
  | URL | BibTeX  
• Type-Based Static and Dynamic Website Verification.
  Jorge Coelho and Mário Florido ICIW 32 (2007)
  to dblp by dblp on 2008-04-07 00:00:00
  | URL | BibTeX  
• XCentric: logic programming for XML processing.
  Jorge Coelho and Mário Florido WIDM 1-8 (2007)
  to dblp by dblp on 2007-12-31 00:00:00
  | URL | BibTeX  
• Sequence Disunification and Its Application in Collaborative Schema Construction.
  Jorge Coelho and Mário Florido and Temur Kutsia WISE Workshops 91-102 (2007)
  to dblp by dblp on 2007-11-23 00:00:00
  | URL | BibTeX  
• The Power of Closed Reduction Strategies.
  Sandra Alves and Maribel Fernández and Mário Florido and Ian Mackie Electr. Notes Theor. Comput. Sci. 174 57-74 (2007)
  to dblp by dblp on 2007-09-21 00:00:00
  | URL | BibTeX  
• Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.
  Hugo R. Simões and Kevin Hammond and Mário Florido and Pedro B. Vasconcelos TYPES 221-236 (2006)
  to dblp by dblp on 2007-09-17 00:00:00
  | URL | BibTeX  
• Linear Recursive Functions.
  Sandra Alves and Maribel Fernández and Mário Florido and Ian Mackie Rewriting, Computation and Proof 182-195 (2007)
  to dblp by dblp on 2007-09-07 00:00:00
  | URL | BibTeX  
• Iterator Types.
  Sandra Alves and Maribel Fernández and Mário Florido and Ian Mackie FoSSaCS 17-31 (2007)
  to dblp by dblp on 2007-07-26 00:00:00
  | URL | BibTeX  
• SINERGIA laparoscopic virtual reality simulator: Didactic design and technical development.
  Pablo Lamata and Enrique J. Gómez and Francisco M. Sánchez-Margallo and Oscar López and Carlos Monserrat and Verónica García and Carlos Alberola and Miguel Ángel Rodríguez Florido and Juan Ruiz and Jesús Usón Computer Methods and Programs in Biomedicine 85 273-283 (2007)
  to dblp by dblp on 2007-05-23 00:00:00
  | URL | BibTeX  
• XCentric: A Logic-Programming Language for XML Processing.
  Jorge Coelho and Mário Florido PLAN-X 93-94 (2007)
  to dblp by dblp on 2007-02-22 00:00:00
  | URL | BibTeX