Recursive polymorphic types and parametricity in an operational framework
Mellies, P.-A., Vouillon, J.
Published in 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005)
Published in 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005)
Get full text
Conference Proceeding
Improving the Quality of GNU/Linux Distributions
Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Mancinelli, F.
Published in 2008 32nd Annual IEEE International Computer Software and Applications Conference (01.07.2008)
Published in 2008 32nd Annual IEEE International Computer Software and Applications Conference (01.07.2008)
Get full text
Conference Proceeding