Timeline for Domain Theory and Polymorphism
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 10, 2017 at 17:53 | comment | added | Andrej Bauer | The textbook Domains and Lambda Calculi by Roberto Amadio and Pierre-Louis Curien covers PER models in Chapter 15, and a PER model of System F in 15.2. | |
| Jun 10, 2017 at 13:54 | comment | added | Jake | Mainly I'm looking for a textbook but I'd take all 3 if you have the time to track them down. I find it really hard to search for sources on this topic and I'm just a hobbyist so I don't have people around me in the known to tell me where to look. The citations of a textbook would do wonders for helping me find sources. | |
| Jun 10, 2017 at 13:50 | comment | added | Andrej Bauer | There's lots of stuff written down about this. What are you looking for? The first historic paper (which would be by Dana Scott), a classic paper that gets things really going, a textbook? | |
| Jun 10, 2017 at 13:47 | comment | added | Jake | I had it in my head that he was your advisor. Is this written down anywhere or is this folklore? | |
| Jun 10, 2017 at 13:46 | comment | added | Andrej Bauer | For the record, I learned this stuff from Dana Scott. I am pretty sure John Reynolds knew about PER models by the time he invented parametricity. I always thought that parametricity came from PER models, anyhow. | |
| Jun 10, 2017 at 13:36 | comment | added | Jake | This is a beyond fantastic answer! This basically gives the same tools that parametricity gives us and the tools of domain theory. This is exactly what I was looking for. Well, I've got something to do this weekend now. | |
| Jun 10, 2017 at 13:12 | history | edited | Andrej Bauer | CC BY-SA 3.0 |
edited body
|
| Jun 10, 2017 at 13:08 | vote | accept | Jake | ||
| Jun 10, 2017 at 12:54 | history | answered | Andrej Bauer | CC BY-SA 3.0 |