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.