An Embedded Language Approach to Router Specification in Curry

Silva Galiana Josep Francesc, Vidal Oriola Germán Francisco

2004

Lecture Notes in Computer Science