llvm dev - Mar 2012 - [LLVMdev] GSOC 2012 Proposal Idea - Flexible and Efficient Realizations of Logic Based Languages.

To Whom It May Concern:

My name is Daniel DaCosta.
I am a first year PhD Student at the University of Minnesota.
I am working with the Programming Languages group at UMN.
I am interested in type theory and logic based languages, including both
practical and theoretical applications.

I am inquiring about a proposal that would involve either toolchain
extensions or proof of concept implementation of logic based languages.
Specifically, Twelf(based on the Edinburgh Logical Framework) or Lambda
Prolog.
I wonder if such a proposal seems relevant, interesting, and executable
within the GSOC program.
If so, I am interested in thoughts on how to make such a proposal
consistent with other LLVM endeavors, and proper scoping.
If not, I appreciate your time in evaluating my idea.

Thanks!
Dan DaCosta
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20120325/bbdcaed0/attachment.html>

On Sun, Mar 25, 2012 at 1:18 PM, Dan DaCosta <dacosta at cs.umn.edu>
wrote:
> To Whom It May Concern:
>
> My name is Daniel DaCosta.
> I am a first year PhD Student at the University of Minnesota.
> I am working with the Programming Languages group at UMN.
> I am interested in type theory and logic based languages, including both
> practical and theoretical applications.
>
> I am inquiring about a proposal that would involve either toolchain
> extensions or proof of concept implementation of logic based languages.
> Specifically, Twelf(based on the Edinburgh Logical Framework) or Lambda
> Prolog.
> I wonder if such a proposal seems relevant, interesting, and executable
> within the GSOC program.
> If so, I am interested in thoughts on how to make such a proposal
consistent
> with other LLVM endeavors, and proper scoping.
> If not, I appreciate your time in evaluating my idea.
In general, we're looking for GSOC proposals which propose
improvements to one of the existing projects hosted at llvm.org.
http://www.google-melange.com/gsoc/org/google/gsoc2011/llvm is a list
of the proposals we accepted last year...

-Eli