[POPLmark] Meta-comment

[Randy Pollack]

Quoting James Cheney <jcheney at inf.ed.ac.uk>:

> [....]  I
> think it would be interesting to determine whether there is a
> technical
> characterization of those languages for which the Twelf methodology
> works as intended i.e., without compromises or reverting to a
> foundational approach), although I'm not sure this is even a
> sensible
> technical question.

Many good points have been made in the Meta-comment thread, and I
particularly agree with James' message.

In partial preliminary answer to James' closing question, look at
Philippa Gardner's thesis, and her MSCS paper (sometime in 1995) on
representation in LF.

Randy