3 ms·
Is there any PDFs of that type system? I tried to dig some up but I found only some post script files about polar type inference
by carterschonwald 3y ago
Is there any PDFs of that type system? I tried to dig some up but I found only some post script files about polar type inference
- mananaysiempre 3y agoI mean, ps2pdf be with you (it ships with Ghostscript), or, if you must, use a Web service[1]. PostScript was fairly common for papers before PDFTeX and while Adobe still attempted to control PDF using their patents. That said, the System P₂ papers might be more helpful[2,3]. The System P paper[4] is indeed more about the inference algorithm and less about the motivation—perhaps the accompanying slides[5] will help some, alongside the first two papers? [1] https://www.ps2pdf.org/ https://www.ps2pdf.org/ [2] “What are principal typings and what are they good for?” (POPL ’96), https://dl.acm.org/doi/10.1145/237721.237728 https://dl.acm.org/doi/10.1145/237721.237728 [3] “Rank 2 type systems and recursive definitions” (MIT-LCS-TM-531), https://hdl.handle.net/1721.1/149246.2 https://hdl.handle.net/1721.1/149246.2 [4] “A polar type system” (ITRS ’00), http://trevorjim.com/papers/polar.ps.gz http://trevorjim.com/papers/polar.ps.gz or http://www.macs.hw.ac.uk/~jbw/itrs/itrs00/papers/Jim:ITRS-2000.ps.gz http://www.macs.hw.ac.uk/~jbw/itrs/itrs00/papers/Jim:ITRS-20... or https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=3f96631a7352873403df5c7238b050d70f82c27a https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&d... [5] http://www.macs.hw.ac.uk/~jbw/itrs/itrs00/slides/Jim:ITRS-2000:slides.pdf.gz http://www.macs.hw.ac.uk/~jbw/itrs/itrs00/slides/Jim:ITRS-20...
- carterschonwald 3y agoThx! I was failing to find the related papers