( en | de | ru )

 

Disambiguation of "Florido, Mário"

Author of the publication

copydeleteadd this publication to your clipboard
Iterator Types.

, , , and . FoSSaCS, volume 4423 of Lecture Notes in Computer Science, page 17-31. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Simone Marion

Ernst Marioth-Wirtz

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

Other publications of authors with the same name

Pattern-based calculi with finitary matching., , , and . Log. J. IGPL, 26 (2): 203-243 (2018)Execution Time Program Verification with Tight Bounds., , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 56-72. Springer, (2023)Linearization by Program Transformation., and . LOPSTR, volume 3018 of Lecture Notes in Computer Science, page 160-175. Springer, (2003)A Functional Approach to Worst-Case Execution Time Analysis., , and . WFLP, volume 6816 of Lecture Notes in Computer Science, page 86-103. Springer, (2011)A Rule-Based Approach to XML Processing and Web Reasoning., , , and . RR, volume 6333 of Lecture Notes in Computer Science, page 164-172. Springer, (2010)Structural Rules and Algebraic Properties of Intersection Types., and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 60-77. Springer, (2022)XCentric: A Logic-Programming Language for XML Processing., and . PLAN-X, page 93-94. (2007)Weak linearization of the lambda calculus., and . Theor. Comput. Sci., 342 (1): 79-103 (2005)Liquid Intersection Types., , and . ITRS, volume 177 of EPTCS, page 24-42. (2014)The Power of Linear Functions., , , and . CSL, volume 4207 of Lecture Notes in Computer Science, page 119-134. Springer, (2006)