Sjaak Smetsers

Available identifiers

zbMath Open smetsers.sjaakWikidataQ102413876 ScholiaQ102413876MaRDI QIDQ617920

List of research outcomes

Publication	Date of Publication	Type
Extending graph rewriting with copying	2022-08-16	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
https://portal.mardi4nfdi.de/entity/Q5240186	2019-10-24	Paper
Derivation and inference of higher-order strictness types	2018-05-15	Paper
TweetNaCl: A Crypto Library in 100 Tweets	2015-09-17	Paper
Modular Bialgebraic Semantics and Algebraic Laws	2014-04-16	Paper
Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving	2011-01-14	Paper
Polytypic Syntax Tree Operations	2009-04-28	Paper
Code-carrying theories	2007-08-23	Paper
Mathematics of Program Construction	2005-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q4222780	1998-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4362913	1998-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5284548	1997-05-22	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: Sjaak Smetsers