Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Lukasz Ziarek
Map detail
Lukasz Ziarek6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLukasz ZiarekALukasz ZiarekResearcherBarQL: Collaborating Through ChangeWBarQL: Collaborating Th...preprint / 2013Putting gradual types to workWPutting gradual types t...preprint / 2021Embedded SML using the MLton compilerWEmbedded SML using the ...preprint / 2016Understanding Bounding Functions in Safety-Critical UAV SoftwareWUnderstanding Bounding ...preprint / 2021Adding Real-time Capabilities to a SML CompilerWAdding Real-time Capabi...preprint / 2016
Person5 links

Lukasz Ziarek

Researcher