Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Validity Checking of Putback Transformations in Bidirectional Programming
Publication

Publications

Validity Checking of Putback Transformations in Bidirectional Programming

Title
Validity Checking of Putback Transformations in Bidirectional Programming
Type
Article in International Conference Proceedings Book
Year
2014
Authors
Hu, Z
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Pacheco, H
(Author)
Other
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Fischer, S
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID
Other information
Authenticus ID: P-00N-DHY
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

The essence of bidirectional programming (2015)
Article in International Scientific Journal
Fischer, S; Hu, Z; Pacheco, H
Validity checking of putback transformations in bidirectional programming (2014)
Article in International Conference Proceedings Book
Hu, Z; Pacheco, H; Fischer, S
Monadic combinators for "Putback" style bidirectional programming (2014)
Article in International Conference Proceedings Book
Pacheco, H; Hu, Z; Fischer, S
A Clear Picture of Lens Laws - Functional Pearl (2015)
Article in International Conference Proceedings Book
Fischer, S; Hu, Z; Pacheco, H
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-08-14 at 00:30:21 | Privacy Policy | Personal Data Protection Policy | Whistleblowing