Selected publications at LSV

@article{LR-toplas18,
   author = {Rodolphe Lepigre and Christophe Raffalli},
   journal = {ACM Transactions on Programming Languages and Systems},
   note = {To appear},
   publisher = {ACM Press},
   title = {{Practical Subtyping for Curry-Style Languages}},
   year = {2018},
}

About LSV

Select by Year