PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Florido, Mário"

Author of the publication

copydeleteadd this publication to your clipboard
Liquid Intersection Types.

, , and . ITRS, volume 177 of EPTCS, page 24-42. (2014)

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.

Mario Fuksa University of Stuttgart

Mario Heene

Mário Firnhaber Beckers University of Stuttgart

Mario Hermle University of Stuttgart

Mario Rosenfelder University of Stuttgart

 

Other publications of authors with the same name

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)Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages., , , and . ESOP, volume 9032 of Lecture Notes in Computer Science, page 787-811. Springer, (2015)Constraint Logic Programming for Hedges: A Semantic Reconstruction., , , and . FLOPS, volume 8475 of Lecture Notes in Computer Science, page 285-301. Springer, (2014)The Power of Linear Functions., , , and . CSL, volume 4207 of Lecture Notes in Computer Science, page 119-134. Springer, (2006)Type-Based Static and Dynamic Website Verification., and . ICIW, page 32. IEEE Computer Society, (2007)Lambda Calculus with Regular Types., , and . SYNASC, page 129-136. IEEE Computer Society, (2015)Linearity and iterator types for Gödel's System., , , and . Higher-Order and Symbolic Computation, 23 (1): 1-27 (2010)Linearity in Computation., and . J. Log. Comput., 24 (3): 511-512 (2014)