GitHub - jgaltidor/jgaltidor.github.io: Home Page

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
plgroup		plgroup
spring13		spring13
twelf_exercises		twelf_exercises
2009Altidor.pdf		2009Altidor.pdf
2009cad_validation.pdf		2009cad_validation.pdf
dissertation.pdf		dissertation.pdf
ecoop12tr.pdf		ecoop12tr.pdf
idetc2009.pdf		idetc2009.pdf
idetc2011.pdf		idetc2011.pdf
idetc2011_slides.pdf		idetc2011_slides.pdf
index.html		index.html
jaltidor-400.jpg		jaltidor-400.jpg
me_cs.jpg		me_cs.jpg
me_paris.jpg		me_paris.jpg
refactoring_oopsla14.pdf		refactoring_oopsla14.pdf
refactoring_oopsla14_slides.pdf		refactoring_oopsla14_slides.pdf
styles.css		styles.css
taming_wildcards_clc12.pptx		taming_wildcards_clc12.pptx
twelf_slides.pdf		twelf_slides.pdf
typetheory_paper.pdf		typetheory_paper.pdf
typetheory_slides.pdf		typetheory_slides.pdf
variance_pldi11.pdf		variance_pldi11.pdf
variance_pldi11_slides.pdf		variance_pldi11_slides.pdf
varj_ecoop12.pdf		varj_ecoop12.pdf
varj_ecoop12_slides.pdf		varj_ecoop12_slides.pdf