# * Speeding Up the MetaPRL Refiner *

## by Aleksey Nogin

1998-1999

In my talk I am going to present some techniques and ideas we used to make MetaPRL refiner more than two orders of magnitude faster than NuPRL refiner: term module with delayed substitutions and lazy free variables calculation, "special form" storage of some terms, higher C conversional optimization and other.

This is joint work with Jason Hickey.