Richard A Frost

1. Memoizing purely functional top-down backtracking language processors
   1996/11/01 by Richard Frost, Richard A Frost, Barbara Szydlowski · 1 citation
   Computer Science · #Backtracking #Computer science #Formal Methods in Verification #Functional programming #Logic, programming, and type systems #Network Packet Processing and Optimization #Parallel computing #Programming language