( en | de | ru )

 

Disambiguation of "Petersen, Leaf"

Author of the publication

copydeleteadd this publication to your clipboard
Subtyping Is Not a Good "Match" for Object-Oriented Languages.

, , and . ECOOP, volume 1241 of Lecture Notes in Computer Science, page 104-127. Springer, (1997)

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.

Jillian Petersen

Diversity and ecology of chemosynthetic symbioses in deep-sea invertebrates. Uni Bremen, (2009)

Nikolai Petersen

Ingrid Petersen

Elli Petersen

Herta Petersen

 

Other publications of authors with the same name

Subtyping Is Not a Good "Match" for Object-Oriented Languages., , and . ECOOP, volume 1241 of Lecture Notes in Computer Science, page 104-127. Springer, (1997)Formalisation of the lambda aleph Runtime., , and . CoRR, (2013)Measuring the Haskell Gap., , , and . IFL, page 61. ACM, (2013)A type theory for memory allocation and data layout., , , and . POPL, page 172-184. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.Automatic SIMD vectorization for Haskell., , and . ICFP, page 25-36. ACM, (2013)Typed compilation of recursive datatypes., , , , , and . TLDI, page 98-108. ACM, (2003)The Intel labs Haskell research compiler., , , and . Haskell, page 105-116. ACM, (2013)GC-Safe Interprocedural Unboxing., and . CC, volume 7210 of Lecture Notes in Computer Science, page 165-184. Springer, (2012)A multivalued language with a dependent type system., , and . DTP@ICFP, page 25-36. ACM, (2013)Strict bidirectional type checking., , and . TLDI, page 71-78. ACM, (2005)