Author of the publication

A Computational Science Agenda for Programming Language Research.

, and . ICCS, volume 29 of Procedia Computer Science, page 713-727. Elsevier, (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.

 

Other publications of authors with the same name

Computational Semantics with Functional Programming, byJan van Eijck andChristina Unger.. J. Funct. Program., 24 (4): 524-527 (2014)Automatic Reordering for Dataflow Safety of Datalog., , and . PPDP, page 9:1-9:17. ACM, (2018)Haskell Type Constraints Unleashed., and . FLOPS, volume 6009 of Lecture Notes in Computer Science, page 56-71. Springer, (2010)Efficient and Correct Stencil Computation via Pattern Matching and Static Typing, and . DSL, volume 66 of EPTCS, page 68-92. (2011)Automatic SIMD vectorization for Haskell., , and . ICFP, page 25-36. ACM, (2013)Verifying spatial properties of array computations., , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 75:1-75:30 (2017)Upgrading fortran source code using automatic refactoring., and . WRT@SPLASH, page 29-32. ACM, (2013)Programming contextual computations.. University of Cambridge, UK, (2014)British Library, EThOS.Guest editors' foreword., and . J. Log. Algebraic Methods Program., (2017)Evolving Fortran types with inferred units-of-measure., , and . J. Comput. Sci., (2015)