title: Currying and compiler design
body: <p>This is a homework question:</p>
  
  <blockquote>
    <p>Explain the transformations the type
    of a routine undergoes in partial
    parameterization.</p>
  </blockquote>
  
  <p>So far I understand currying. But I cannot find any resources on how a function like this is implemented by the compiler in memory. Could I be pointed in the right direction, maybe keywords to search for or links to resources or possibly an explanation here of how the compiler generates the type and symbol table among other things thats related to the question.</p>
  
  <p>Thanks.</p>