( en | de | ru )

 

Disambiguation of "Alves, Sandra"

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.

Hans-Joachim Alves

Frauke Alves

Karin Alves

Samet Alves Moura

Guido Alves

 

Other publications of authors with the same name

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics., , and . LOPSTR, volume 8981 of Lecture Notes in Computer Science, page 148-163. Springer, (2014)Iterator Types., , , and . FoSSaCS, volume 4423 of Lecture Notes in Computer Science, page 17-31. Springer, (2007)A short note on type-inhabitation: Formula-trees vs. game semantics., and . Inf. Process. Lett., 115 (11): 908-911 (2015)Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction.. ACM SIGLOG News, 3 (4): 50-54 (2016)Weak linearization of the lambda calculus., and . Theor. Comput. Sci., 342 (1): 79-103 (2005)The Power of Linear Functions., , , and . CSL, volume 4207 of Lecture Notes in Computer Science, page 119-134. Springer, (2006)Liquid Intersection Types., , and . ITRS, volume 177 of EPTCS, page 24-42. (2014)On the Relation between Rank 2 Intersection Types and Simple Types., and . APPIA-GULP-PRODE, page 259-274. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Inhabitation machines: determinism and principality., and . NCMA, page 57-70. Österreichische Computer Gesellschaft, (2017)Linearity and recursion in a typed Lambda-calculus., , , and . PPDP, page 173-182. ACM, (2011)