Florian Lorenzen

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Semantic Representations

Syntactic Semantic

Modular Architecture

Database Programming Language

Top Venues

Trends in Functional Programming

Publications

Florian Lorenzen, Sebastian Erdweg
Sound type-dependent syntactic language extension. POPL (2016)
Florian Lorenzen, Sebastian Erdweg
Modular and automated type-soundness verification for language extensions. ICFP (2013)
Judith Rohloff, Florian Lorenzen
Call-by-Value Semantics for Mutually Recursive First-Class Modules. Trends in Functional Programming (2012)
Christoph Höger, Florian Lorenzen, Peter Pepper
Notes on the Separate Compilation of Modelica. EOOLT (2010)
Petra Hofstedt, Florian Lorenzen
Constraint Functional Multicore Programming. GI Jahrestagung (2009)
Torsten Hoefler, Florian Lorenzen, Andrew Lumsdaine
Sparse Non-blocking Collectives in Quantum Mechanical Calculations. PVM/MPI (2008)