Non-linear Pattern Matching with Backtracking for Non-free Data Types

Book

ISBN (Print): 978-3-030-02767-4

ISBN (Electronic): 978-3-030-02768-1

Publication date (Print): 2018

DOI: 10.1007/978-3-030-02768-1

License:

http://www.springer.com/tdm

Product

Self URI ( Book ): http://link.springer.com/content/pdf/10.1007/978-3-030-02768-1.pdf

Self URI ( Book ): http://link.springer.com/10.1007/978-3-030-02768-1

Book Chapter

Publication date (Print): 2018

Publication date (Online): October 22 2018

Pages: 3-23

DOI: 10.1007/978-3-030-02768-1_1

Product

Self URI ( Book ): http://link.springer.com/content/pdf/10.1007/978-3-030-02768-1.pdf

Self URI ( Book ): http://link.springer.com/10.1007/978-3-030-02768-1

Self URI ( Book Chapter ): http://link.springer.com/10.1007/978-3-030-02768-1_1