E-LIB Suche - Ergebnisse für: Giarrusso, Paolo G.

1

A theory of higher-order subtyping with type intervals:

Stucki, Sandro ; Giarrusso, Paolo G.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-30 , 2021

Link: https://dl.acm.org/doi/1..

2

A theory of higher-order subtyping with type intervals:

Stucki, Sandro ; Giarrusso, Paolo G.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-30 , 2021

Link: https://doi.org/10.1145/..

3

A type-and-effect system for object initialization:

Liu, Fengyun ; Lhoták, Ondřej ; Biboudis, Aggelos..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

Link: https://dl.acm.org/doi/1..

4

Scala step-by-step: soundness for DOT with step-indexed log..:

Giarrusso, Paolo G. ; Stefanesco, Léo ; Timany, Amin..
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-29 , 2020

Link: https://doi.org/10.1145/..

5

A type-and-effect system for object initialization:

Liu, Fengyun ; Lhoták, Ondřej ; Biboudis, Aggelos..
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-28 , 2020

Link: https://doi.org/10.1145/..

6

Scala step-by-step: soundness for DOT with step-indexed log..:

Giarrusso, Paolo G. ; Stefanesco, Léo ; Timany, Amin..
Proceedings of the ACM on Programming Languages. 4 (2020) ICFP - p. 1-29 , 2020

Link: https://dl.acm.org/doi/1..

7

Towards improved GADT reasoning in Scala:

, In: Proceedings of the Tenth ACM SIGPLAN Symposium on Scala,

Parreaux, Lionel ; Boruch-Gruszecki, Aleksander ; Giarrusso, Paolo G. - p. 12-16 , 2019

Link: https://dl.acm.org/doi/1..

8

Incremental $$\lambda $$ -Calculus in Cache-Transfer Style:..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Giarrusso, Paolo G. ; Régis-Gianas, Yann ; Schuster, Philipp - p. 553-580 , 2019

Link: https://doi.org/10.1007/..

9

Truly abstract interfaces for algebraic data types: the ext..:

, In: Proceedings of the 9th ACM SIGPLAN International Symposium on Scala,

Stucki, Nicolas ; Giarrusso, Paolo G. ; Odersky, Martin - p. 56-60 , 2018

Link: https://dl.acm.org/doi/1..

10

System f-omega with equirecursive types for datatype-generi..:

Cai, Yufei ; Giarrusso, Paolo G. ; Ostermann, Klaus
ACM SIGPLAN Notices. 51 (2016) 1 - p. 30-43 , 2016

Link: https://doi.org/10.1145/..

11

System f-omega with equirecursive types for datatype-generi..:

, In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Cai, Yufei ; Giarrusso, Paolo G. ; Ostermann, Klaus - p. 30-43 , 2016

Link: https://dl.acm.org/doi/1..

12

A theory of changes for higher-order languages: incremental..:

Cai, Yufei ; Giarrusso, Paolo G. ; Rendel, Tillmann.
ACM SIGPLAN Notices. 49 (2014) 6 - p. 145-155 , 2014

Link: https://doi.org/10.1145/..

13

A theory of changes for higher-order languages : increme..:

, In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Cai, Yufei ; Giarrusso, Paolo G. ; Rendel, Tillmann. - p. 145-155 , 2014

Link: https://dl.acm.org/doi/1..

14

Scalable prediction of non-functional properties in softwar..:

Siegmund, Norbert ; Rosenmüller, Marko ; Kästner, Christian...
Information and Software Technology. 55 (2013) 3 - p. 491-507 , 2013

Link: https://doi.org/10.1016/..

15

Reify your collection queries for modularity and speed!:

, In: Proceedings of the 12th annual international conference on Aspect-oriented software development,

Giarrusso, Paolo G. ; Ostermann, Klaus ; Eichberg, Michael... - p. 1-12 , 2013

Link: https://dl.acm.org/doi/1..