( en | de | ru )

 

Disambiguation of "Haller, Philipp"

Author of the publication

copydeleteadd this publication to your clipboard
P4R-Type: A Verified API for P4 Control Plane Programs.

, , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1935-1963 (October 2023)

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.

Herbert Haller

Walter Haller

Erwin Haller

Gerd Haller

Ewald Haller

 

Other publications of authors with the same name

A programming model and foundation for lineage-based distributed computation., , and . J. Funct. Program., (2018)Extending Scala with records: design, implementation, and evaluation., and . SCALA@ICFP, page 72-82. ACM, (2018)A reduction semantics for direct-style asynchronous observables., and . J. Log. Algebraic Methods Program., (2019)Language-integrated privacy-aware distributed queries., , , , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 167:1-167:30 (2019)LaCasa: lightweight affinity and object capabilities in Scala., and . OOPSLA, page 272-291. ACM, (2016)Resolvable ambiguity: principled resolution of syntactically ambiguous programs., , , and . CC, page 153-164. ACM, (2021)Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software., and . J. Log. Algebraic Methods Program., (2019)A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM., , , , and . IEEE Trans. Software Eng., 47 (11): 2534-2548 (2021)Actors in Scala - concurrent programming for the multi-core era., and . artima, (2011)Replicated data types that unify eventual consistency and observable atomic consistency., and . J. Log. Algebraic Methods Program., (2020)