Implicit Self-Adjusting Computation for Purely Functional ProgramsThis dissertation presents implicit self adjusting computation, a type directed technique for translating purely functional programs into self adjusting programs. In this implicit approach, the programmer annotates the (top level) input types of the programs to be translated. Type inference finds all other types, and a type directed translation rewrites the source program into an explicitly self adjusting target program. The type system is related to
Shopping security
Each payment you make on thelockerguy is secured with strict SSL encryption and PCI DSS data protection protocols
product description
Why choose thelockerguy wholesale?
Show More
Implicit Self-Adjusting Computation for Purely Functional Programs