Hans-Wolfgang Loidl

Available identifiers

zbMath Open loidl.hans-wolfgangMaRDI QIDQ2463559

List of research outcomes

Publication	Date of Publication	Type
Reasoning About Resources in the Embedded Systems Language Hume	2016-01-07	Paper
Static determination of quantitative resource usage for higher-order programs	2015-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q2848153	2013-09-25	Paper
Improvements to a Resource Analysis for Hume	2010-09-14	Paper
Characterising Effective Resource Analyses for Parallel and Distributed Coordination	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q3614663	2009-03-09	Paper
A program logic for resources	2007-12-14	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
Comparing parallel functional languages: Programming and performance	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4433999	2003-11-03	Paper
Parallel and Distributed Haskells	2002-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q2763378	2002-01-15	Paper
Algorithm + strategy = parallelism	1999-05-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hans-Wolfgang Loidl