Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract.

Pablo Barenbaum Eduardo Bonelli Kareem Mohamed

Published in: PPDP (2018)

Keyphrases

pattern matching
extended abstract
fixed point
string matching
regular expressions
pattern matching algorithm
matching process
sufficient conditions
dynamical systems
temporal difference learning
approximate value iteration
asymptotic properties
free energy
linear logic
computer vision
image processing
boyer moore