BibTeX record conf/ccp2/ChakravartyGK95

download as .bib file

@inproceedings{DBLP:conf/ccp2/ChakravartyGK95,
  author       = {Manuel M. T. Chakravarty and
                  Yike Guo and
                  Martin K{\"{o}}hler},
  editor       = {Agostino Cortesi and
                  Philippe Codognet},
  title        = {{GOFFIN:} Higher-Order Functions Meet Concurrent Constraints},
  booktitle    = {First International Workshop on Concurrent Constraint Programming,
                  {CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995},
  pages        = {6:1--6:15},
  publisher    = {{INRIA} Rocquencourt},
  year         = {1995},
  timestamp    = {Tue, 18 Apr 2023 16:19:11 +0200},
  biburl       = {https://dblp.org/rec/conf/ccp2/ChakravartyGK95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}