To Whom It May Concern:<br><br>My name is Daniel DaCosta.<br>I am a first year PhD Student at the University of Minnesota.<br>I am working with the Programming Languages group at UMN.<br>I am interested in type theory and logic based languages, including both practical and theoretical applications.<br>
<br>I am inquiring about a proposal that would involve either toolchain extensions or proof of concept implementation of logic based languages.<br>Specifically, Twelf(based on the Edinburgh Logical Framework) or Lambda Prolog.<br>
I wonder if such a proposal seems relevant, interesting, and executable within the GSOC program.<br>If so, I am interested in thoughts on how to make such a proposal consistent with other LLVM endeavors, and proper scoping.<br>
If not, I appreciate your time in evaluating my idea.<br><br>Thanks!<br>Dan DaCosta<br>