@inproceedings{janssonjeuring1997a,
 author      ="P. Jansson and J. Jeuring",
 title       ="Poly{P} - a polytypic programming language extension",
 booktitle   ="{POPL} '97: The 24th {ACM SIGPLAN-SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages", 
 publisher   ="ACM Press",
 pages       ="470--482", 
 year        ="1997",
 documentURL ="http://www.cse.chalmers.se/~patrikj/poly/polypPOPL97/"
}