Marko van Eekelen

Available identifiers

zbMath Open van-eekelen.markoMaRDI QIDQ617921

List of research outcomes

Publication	Date of Publication	Type
Explaining the most probable explanation	2023-07-28	Paper
Guaranteeing safe destructive updates through a type system with uniqueness information for graphs	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4965821	2021-03-10	Paper
Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials	2020-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q5240186	2019-10-24	Paper
Derivation and inference of higher-order strictness types	2018-05-15	Paper
Efficient and formally proven reduction of large integers by small moduli	2017-05-19	Paper
A Hoare Logic for Energy Consumption Analysis	2016-01-07	Paper
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists	2016-01-07	Paper
Modular Bialgebraic Semantics and Algebraic Laws	2014-04-16	Paper
Inferring Static Non-monotone Size-aware Types Through Testing	2014-03-26	Paper
Univariate polynomial solutions of algebraic difference equations	2014-03-03	Paper
EditorArrow: An arrow-based model for editor-based programming	2013-06-14	Paper
Trends in trends in functional programming 1999/2000 versus 2007/2008	2013-01-08	Paper
Interpolation-Based Height Analysis for Improving a Recurrence Solver	2012-11-02	Paper
Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving	2011-01-14	Paper
Polynomial Size Analysis of First-Order Shapely Functions	2009-06-30	Paper
Proof Tool Support for Explicit Strictness	2009-04-28	Paper
Polynomial Size Analysis of First-Order Functions	2009-03-10	Paper
Proving Properties of Lazy Functional Programs with Sparkle	2009-02-03	Paper
Reasoning About Deterministic Concurrent Functional I/O	2007-10-23	Paper
Implementation of Functional Languages	2005-08-24	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4736975	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q2763387	2002-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q4362913	1998-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4023829	1993-01-23	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: Marko van Eekelen