Proof-directed program transformation: A functional account of efficient regular expression matching

MLA

Andrzej Filinski. “Proof-Directed Program Transformation: A Functional Account of Efficient Regular Expression Matching.” Journal of Functional Programming, vol. 31, Jan. 2021. EBSCOhost, https://doi.org/10.1017/s0956796820000295.

APA

Andrzej Filinski. (2021). Proof-directed program transformation: A functional account of efficient regular expression matching. Journal of Functional Programming, 31. https://doi.org/10.1017/s0956796820000295

Chicago

Andrzej Filinski. 2021. “Proof-Directed Program Transformation: A Functional Account of Efficient Regular Expression Matching.” Journal of Functional Programming 31 (January). doi:10.1017/s0956796820000295.