ISO-690 (author-date, English)

ZHANG, HANLIANG, TANG, WENHAO, XIE, RUIFENG, WANG, MENG und HU, ZHENJIANG, 2023. Contract lenses: Reasoning about bidirectional programs via calculation. Journal of Functional Programming. 1 Januar 2023. Vol. 33, , p. 1-41. DOI 10.1017/S0956796823000059.

Elsevier - Harvard (with titles)

ZHANG, H., TANG, W., XIE, R., WANG, M., HU, Z., 2023. Contract lenses: Reasoning about bidirectional programs via calculation. Journal of Functional Programming 33, 1-41. https://doi.org/10.1017/S0956796823000059

American Psychological Association 7th edition

ZHANG, H., TANG, W., XIE, R., WANG, M., & HU, Z. (2023). Contract lenses: Reasoning about bidirectional programs via calculation. Journal of Functional Programming, 33, 1-41. https://doi.org/10.1017/S0956796823000059

Springer - Basic (author-date)

ZHANG H, TANG W, XIE R, WANG M, HU Z (2023) Contract lenses: Reasoning about bidirectional programs via calculation.. Journal of Functional Programming 33:1-41. https://doi.org/10.1017/S0956796823000059

Juristische Zitierweise (Stüber) (Deutsch)

ZHANG, HANLIANG/ TANG, WENHAO/ XIE, RUIFENG/ WANG, MENG/ HU, ZHENJIANG, Contract lenses: Reasoning about bidirectional programs via calculation., Journal of Functional Programming 2023, 1-41.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.