What was the title of Stephanie Weirich's dissertation?
Programming with Types
Stephanie Weirich is the author of Joachim Breitner et al.: Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. (2021) authored by Stephanie Weirich. Brian E. Aydemir et al.: Nominal Reasoning Techniques in Coq: (Extended Abstract). (2006) authored by Stephanie Weirich. Stephanie Weirich is the author of Cormac Flanagan et al.: Static Debugging: Browsing the Web of Program Invariants. (1996) authored by Stephanie Weirich. Anastasiya Kravchuk-Kirilyuk et al.: Eta-Equivalence in Core Dependent Haskell. (2019). Stephanie Weirich is the author of "<unk>" and "<unk>" boxes go bananas.
[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: What was the title of Stephanie Weirich's dissertation?
Context: Stephanie Weirich is the author of Joachim Breitner et al.: Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. (2021) authored by Stephanie Weirich. Brian E. Aydemir et al.: Nominal Reasoning Techniques in Coq: (Extended Abstract). (2006) authored by Stephanie Weirich. Stephanie Weirich is the author of Cormac Flanagan et al.: Static Debugging: Browsing the Web of Program Invariants. (1996) authored by Stephanie Weirich. Anastasiya Kravchuk-Kirilyuk et al.: Eta-Equivalence in Core Dependent Haskell. (2019). Stephanie Weirich is the author of "<unk>" and "<unk>" boxes go bananas.
[/INST] Answer:
