An Embedded Language Approach to Router Specification in Curry

J. Guadalupe Ramos, Josep Silva, Germán Vidal. An Embedded Language Approach to Router Specification in Curry. In Peter van Emde Boas, Jaroslav Pokorný, Mária Bieliková, Julius Stuller, editors, SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004. Volume 2932 of Lecture Notes in Computer Science, pages 277-288, Springer, 2004. [doi]

@inproceedings{RamosSV04,
  title = {An Embedded Language Approach to Router Specification in Curry},
  author = {J. Guadalupe Ramos and Josep Silva and Germán Vidal},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2932&spage=277},
  tags = {routing, systematic-approach},
  researchr = {https://researchr.org/publication/RamosSV04},
  cites = {0},
  citedby = {0},
  pages = {277-288},
  booktitle = {SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004},
  editor = {Peter van Emde Boas and Jaroslav Pokorný and Mária Bieliková and Julius Stuller},
  volume = {2932},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20779-1},
}