Search results for: Didier Parigot
Future Generation Computer Systems > 2017 > 67 > C > 341-353
Lecture Notes in Computer Science > Progamming Language Implementation and Logic Programming > 123-136
Lecture Notes in Computer Science > ESOP '90 > 240-255
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 122-136
Lecture Notes in Computer Science > Static Analysis > Foundations > 264-283
Lecture Notes in Computer Science > Compiler Construction > Demos > 355-360
Electronic Notes in Theoretical Computer Science > 2002 > 65 > 3 > 1-20
Electronic Notes in Theoretical Computer Science > 2001 > 44 > 2 > 225-231
Electronic Notes in Theoretical Computer Science > 2001 > 44 > 2 > 232-233