Search Results

Abstract

Cite as

Hankin Chris and Wilhelm Reinhard. Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036). Dagstuhl Seminar Report 3, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1991)

@TechReport{chris_et_al:DagSemRep.3,
  author =	{Chris, Hankin and Reinhard, Wilhelm},
  title =	{{Functional Languages: Optimization for Parallelism (Dagstuhl Seminar 9036)}},
  pages =	{1--28},
  ISSN =	{1619-0203},
  year =	{1991},
  type = 	{Dagstuhl Seminar Report},
  number =	{3},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.3},
  URN =		{urn:nbn:de:0030-drops-148914},
  doi =		{10.4230/DagSemRep.3},
}

Abstract

Cite as

Pierpaolo Degano, Roberto Gorrieri, Chris Hankin, Flemming Nielson, and Hanne Riis Nielson. Security through Analysis and Verification (Dagstuhl Seminar 00501). Dagstuhl Seminar Report 294, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)

@TechReport{degano_et_al:DagSemRep.294,
  author =	{Degano, Pierpaolo and Gorrieri, Roberto and Hankin, Chris and Nielson, Flemming and Riis Nielson, Hanne},
  title =	{{Security through Analysis and Verification (Dagstuhl Seminar 00501)}},
  pages =	{1--15},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{294},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.294},
  URN =		{urn:nbn:de:0030-drops-151781},
  doi =		{10.4230/DagSemRep.294},
}

Abstract

Cite as

Chris Hankin and Hanne Riis Nielson. New Trends In the Integration of Paradigms (Dagstuhl Seminar 9538). Dagstuhl Seminar Report 126, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)

@TechReport{hankin_et_al:DagSemRep.126,
  author =	{Hankin, Chris and Riis Nielson, Hanne},
  title =	{{New Trends In the Integration of Paradigms (Dagstuhl Seminar 9538)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{126},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.126},
  URN =		{urn:nbn:de:0030-drops-150143},
  doi =		{10.4230/DagSemRep.126},
}

Abstract

Cite as

Werner Damm, Chris Hankin, and John Hughes. Functional Languages: Compiler Technology and Parallelism (Dagstuhl Seminar 9213). Dagstuhl Seminar Report 36, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)

@TechReport{damm_et_al:DagSemRep.36,
  author =	{Damm, Werner and Hankin, Chris and Hughes, John},
  title =	{{Functional Languages: Compiler Technology and Parallelism (Dagstuhl Seminar 9213)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{36},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.36},
  URN =		{urn:nbn:de:0030-drops-149240},
  doi =		{10.4230/DagSemRep.36},
}