Accueil Explorer Aide
S'inscrire Connexion
aut-csc
/
type-parameterization
Suivre 2
Voter 0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki

A talk on what type parameterization is, how it can be implemented, and what the tradeoffs are.

Branche: master
Branches Tags
type-paramet...
ZIP TAR.GZ
Koz Ross bd380084e8 Fixing makefile, removing typos il y a 7 ans
.gitignore b6e022f6cf Initial draft il y a 7 ans
GNUmakefile bd380084e8 Fixing makefile, removing typos il y a 7 ans
LICENSE b6e022f6cf Initial draft il y a 7 ans
README.md cb87032a21 Fixing README il y a 7 ans
logo.svg b6e022f6cf Initial draft il y a 7 ans
no.svg cd99fbe752 Final version il y a 7 ans
question.svg cd99fbe752 Final version il y a 7 ans
talk.tex bd380084e8 Fixing makefile, removing typos il y a 7 ans
yes.svg cd99fbe752 Final version il y a 7 ans

README.md

Type parameterization

This is a talk delivered to the AUT Computer Science Club on May 4th, 2017. This contains the sources for the talk slides.

How to build

You will need:

  • A LaTeX distro (I recommend Texlive)
  • GNU Make
  • Inkscape (to convert SVG into EPS)
  • The DejaVu font family (to render the text)
  • The Liberation font family (to render the logo properly)

If you wanna use the make edit or make view commands, you will also need Neovim and Okular respectively, but in practice, you can use whatever editor or PDF viewer you feel like.

To build a PDF version, just call make (or gmake on some systems).

Licensing

All the sources are licensed CC-BY-SA-4.0. See LICENSE for more details.