Joe Wells's Talk Overhead Images

These are the overhead images used for a few of my talks. I'm sorry that I don't have more of them here. When I have time, I will add more.

• Explaining Concepts in Compositional Type-Based Program Analysis: Principality, Intersection Types, Expansion, etc. (A4, color, PDF, gzipped, for overhead projection) (A4, color, PDF, gzipped, for printing) (Abstract)
• Diagrams for Meaning Preservation. (A4 color PDF, gzipped, for overhead projection) (A4 color PDF, gzipped, for printing) (Abstract)
• Shape Types for Ambients with Communication Dependencies. (A4 color PDF, gzipped, for overhead projection) (A4 color PDF, gzipped, for printing) (Abstract)
• Rewriting in the Design of Type Systems. (A4 color PDF, gzipped, for overhead projection) (A4 color PDF, gzipped, for printing) (Abstract)
• Principal Typings Demystified: what they are, why you want them, and why your type system doesn't have them. (A4 color PDF, gzipped, for overhead projection, hard-to-see hyperlinks) (A4 color PDF, gzipped, for printing, hard-to-see hyperlinks) (Abstract)
• Branching Types: squashing typing derivations in systems with intersection types. (A4 color PDF, gzipped, for overhead projection) (Abstract)
• Equational Reasoning for Linking with First-Class Primitive Modules. (A4 color PostScript, gzipped) (Abstract)
• A Paradigm Shift in Program Analysis and Transformation via Intersection and Union Types. (A4 color PostScript, gzipped) (Abstract)
• Type Inference for Intersection Types with Expansion Variables. (A4 color PostScript, gzipped) (Abstract)
• Flow-Based Function Representation Transformation. (A4 color PostScript, gzipped) (Abstract)
• Problems and Results in Unification and Type Search. Invited talk at UNIF '98. (A4 color PostScript, gzipped) (Abstract)

To make an A4-paper-sized many-overheads-per-page version of a file XYZ.pdf, these commands may help:

  pdf2ps XYZ.{pdf,ps}
  psnup -b1cm -c -w20.99cm -h29.7cm -W29.7cm -H20.99cm -4 XYZ.ps{,-4up}

The -b1cm option reserves 1cm of blank space around each page. The -c option causes pages to be put into columns rather than rows. The -w20.99cm -h29.7cm options set the output paper size. The -W29.7cm -H20.99cm options set the input paper size. Notice that this swaps the horizontal and vertical paper sizes. The -4 option sets the number of virtual pages per real page.