Perdita Stevens

From MaRDI portal
Person:855009

Available identifiers

zbMath Open stevens.perditaMaRDI QIDQ855009

List of research outcomes





PublicationDate of PublicationType
Introduction to bidirectional transformations2019-02-15Paper
Reflections on Monadic Lenses2016-08-17Paper
Notions of Bidirectional Computation and Entangled State Monads2015-08-27Paper
Towards an Algebraic Theory of Bidirectional Transformations2008-11-20Paper
On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams2006-12-20Paper
https://portal.mardi4nfdi.de/entity/Q47383262004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47381642004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44358782003-11-20Paper
https://portal.mardi4nfdi.de/entity/Q44178262003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44136752003-07-21Paper
A verification tool developer's vade mecum.2003-04-02Paper
https://portal.mardi4nfdi.de/entity/Q27641152002-01-22Paper

Research outcomes over time

This page was built for person: Perdita Stevens

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:855009&oldid=7885353"
Powered by MediaWiki