Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings

Josep Díaz, Isidro Ramos, editors, Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings. Volume 107 of Lecture Notes in Computer Science, Springer, 1981.

Conference: icfpc1981

@proceedings{icfpc:1981,
  title = {Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings},
  year = {1981},
  tags = {programming},
  researchr = {https://researchr.org/publication/icfpc%3A1981},
  cites = {0},
  citedby = {0},
  booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings},
  conference = {icfpc},
  editor = {Josep Díaz and Isidro Ramos},
  volume = {107},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10699-5},
}