These are chat archives for got-lambda/expression
The online hangout for Göteborg Functional Programming Group and everybody interested.
@fredyr @ocramz @Zalastax @eriksvedang I have looked at that Wikipedia page before. It contains some basic facts, like "one or more of the structural rules are absent or only allowed under controlled circumstances.", but what does that mean? It doesn't explain that in more depth. Many texts I have seen is like that. I've only understood that linear types are related to "not using a variable more than once", but not more than that.
I'll have a look on some of the Wadler papers. @fredyr : There's quite a lot of papers on that page, can your recommend any of them in particular?