Where did the author who published the paper 'Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism' receive her bachelor's degree from?
Rice University
Stephanie Weirich is the alternative name for Stephanie Weirich. Miroslav Pajic et al.: Towards synthesis of platform-aware attack-resilient control systems. (2015) authored by Stephanie Weirich. Stephanie Claudene Weirich alternative name Stephanie C. Weirich. Cassia Torczon et al.: Effects and Coeffects in Call-By-Push-Value (Extended Version). (2012) authored by Stephanie Weirich. Stephanie Weirich is the author of Static Debugging: Browsing the Web of Program Invariants. (1996).
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: Where did the author who published the paper 'Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism' receive her bachelor's degree from?
Context: Stephanie Weirich is the alternative name for Stephanie Weirich. Miroslav Pajic et al.: Towards synthesis of platform-aware attack-resilient control systems. (2015) authored by Stephanie Weirich. Stephanie Claudene Weirich alternative name Stephanie C. Weirich. Cassia Torczon et al.: Effects and Coeffects in Call-By-Push-Value (Extended Version). (2012) authored by Stephanie Weirich. Stephanie Weirich is the author of Static Debugging: Browsing the Web of Program Invariants. (1996).
[/INST] Answer:
