What does LIE stand for?
simonpj at microsoft.com
Thu Aug 19 03:44:48 EDT 2004
Yep, "Local Instance Environment". It comes from one of the original
papers about giving a formal description for Haskell's type system (in
TOPLAS, by Cordelia Hall et al). It's not a very good name.
| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
| bounces at haskell.org] On Behalf Of Sean Seefried
| Sent: 19 August 2004 03:50
| To: GHC Users
| Subject: What does LIE stand for?
| Hi all,
| I've been looking through the source code and the GHC commentary and I
| still can't quite work out what LIE stands for. The Type Checking
| section of the Commentary suggests "LIE (Local Instance
| Could someone out there tell me what it does actually stand for?
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users