Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Research output: Book/anthology/dissertation/reportAnthologyResearch

Standard

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. / Chakravarty, Manuel (Editor); Hu, Zhenjiang (Editor); Danvy, Olivier.

Association for Computing Machinery, 2011. 458 p.

Research output: Book/anthology/dissertation/reportAnthologyResearch

Harvard

APA

CBE

Chakravarty M, Hu Z, Danvy O, ed. 2011. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery. 458 p.

MLA

Chakravarty, Manuel, Zhenjiang Hu, and Olivier Danvy, ed. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming Association for Computing Machinery. 2011.

Vancouver

Chakravarty M, (ed.), Hu Z, (ed.), Danvy O. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, 2011. 458 p.

Author

Chakravarty, Manuel (Editor) ; Hu, Zhenjiang (Editor) ; Danvy, Olivier. / Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery, 2011. 458 p.

Bibtex

@book{1234b1f6ab784f96950023b5bb96b7ea,
title = "Proceedings of the 16th ACM SIGPLAN international conference on Functional programming",
abstract = "Welcome to the 16th ACM SIGPLAN International Conference on Functional Programming -- ICFP'11. The picture, on the front cover, is of Mount Fuji, seen from the 20th floor of the National Institute of Informatics (NII). It was taken by Sebastian Fischer in January 2011. In Japanese, the characters {"}human{"} and {"}lambda{"} have a similar shape, and the text is a combination of famous Japanese proverbs where all occurrences of {"}human{"} have been replaced by {"}lambda{"}. It translates as follows: •Lambda has a history •Lambda exists in the place where virtue is •Respect heaven and love lambda •One lambda is worth a thousand (things) This bouquet of proverbs was composed by Zhenjiang Hu and the local organizers at NII, and has benefited from the kind assistance of Kenichi Asai and Jacques Garrigue. It was written by Isao Sasano's calligraphy teacher, Keigai Nukata. There were 112 submissions this year: 92 research papers, 8 functional pearls, and 12 experience reports. The Program Committee selected 33 research papers (1/3), 2 functional pearls (1/4), and 3 experience reports (1/4). Out of the 112 submissions, 8 were {"}forces majeures{"} (acts of God) related to the earthquake in Japan. Among those, 4 were selected. In addition to this selection, the PC also chose to invite Andrzej Filinski and Makoto Takeyama. For simplicity, there were no submissions by PC members. Each submission was reviewed by at least 3 PC members. In addition, we consulted 113 external reviewers. All PC members attended the PC meeting, which took place on May 26-27, Avenue d'Italie, in Paris, courtesy of the PPS Laboratory (Preuves, Programmes et Syst{\`e}mes) at the University of Paris 7. Notifications were sent within hours of the completion of the PC meeting, and updated reviews in the course of the following week.",
author = "Olivier Danvy",
editor = "Manuel Chakravarty and Zhenjiang Hu",
year = "2011",
language = "English",
isbn = "978-1-4503-0865-6",
publisher = "Association for Computing Machinery",
note = "ACM SIGPLAN International Conference on Functional Programming, ICFP '11 ; Conference date: 19-09-2011 Through 21-09-2011",

}

RIS

TY - BOOK

T1 - Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

AU - Danvy, Olivier

A2 - Chakravarty, Manuel

A2 - Hu, Zhenjiang

PY - 2011

Y1 - 2011

N2 - Welcome to the 16th ACM SIGPLAN International Conference on Functional Programming -- ICFP'11. The picture, on the front cover, is of Mount Fuji, seen from the 20th floor of the National Institute of Informatics (NII). It was taken by Sebastian Fischer in January 2011. In Japanese, the characters "human" and "lambda" have a similar shape, and the text is a combination of famous Japanese proverbs where all occurrences of "human" have been replaced by "lambda". It translates as follows: •Lambda has a history •Lambda exists in the place where virtue is •Respect heaven and love lambda •One lambda is worth a thousand (things) This bouquet of proverbs was composed by Zhenjiang Hu and the local organizers at NII, and has benefited from the kind assistance of Kenichi Asai and Jacques Garrigue. It was written by Isao Sasano's calligraphy teacher, Keigai Nukata. There were 112 submissions this year: 92 research papers, 8 functional pearls, and 12 experience reports. The Program Committee selected 33 research papers (1/3), 2 functional pearls (1/4), and 3 experience reports (1/4). Out of the 112 submissions, 8 were "forces majeures" (acts of God) related to the earthquake in Japan. Among those, 4 were selected. In addition to this selection, the PC also chose to invite Andrzej Filinski and Makoto Takeyama. For simplicity, there were no submissions by PC members. Each submission was reviewed by at least 3 PC members. In addition, we consulted 113 external reviewers. All PC members attended the PC meeting, which took place on May 26-27, Avenue d'Italie, in Paris, courtesy of the PPS Laboratory (Preuves, Programmes et Systèmes) at the University of Paris 7. Notifications were sent within hours of the completion of the PC meeting, and updated reviews in the course of the following week.

AB - Welcome to the 16th ACM SIGPLAN International Conference on Functional Programming -- ICFP'11. The picture, on the front cover, is of Mount Fuji, seen from the 20th floor of the National Institute of Informatics (NII). It was taken by Sebastian Fischer in January 2011. In Japanese, the characters "human" and "lambda" have a similar shape, and the text is a combination of famous Japanese proverbs where all occurrences of "human" have been replaced by "lambda". It translates as follows: •Lambda has a history •Lambda exists in the place where virtue is •Respect heaven and love lambda •One lambda is worth a thousand (things) This bouquet of proverbs was composed by Zhenjiang Hu and the local organizers at NII, and has benefited from the kind assistance of Kenichi Asai and Jacques Garrigue. It was written by Isao Sasano's calligraphy teacher, Keigai Nukata. There were 112 submissions this year: 92 research papers, 8 functional pearls, and 12 experience reports. The Program Committee selected 33 research papers (1/3), 2 functional pearls (1/4), and 3 experience reports (1/4). Out of the 112 submissions, 8 were "forces majeures" (acts of God) related to the earthquake in Japan. Among those, 4 were selected. In addition to this selection, the PC also chose to invite Andrzej Filinski and Makoto Takeyama. For simplicity, there were no submissions by PC members. Each submission was reviewed by at least 3 PC members. In addition, we consulted 113 external reviewers. All PC members attended the PC meeting, which took place on May 26-27, Avenue d'Italie, in Paris, courtesy of the PPS Laboratory (Preuves, Programmes et Systèmes) at the University of Paris 7. Notifications were sent within hours of the completion of the PC meeting, and updated reviews in the course of the following week.

M3 - Anthology

SN - 978-1-4503-0865-6

BT - Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

PB - Association for Computing Machinery

T2 - ACM SIGPLAN International Conference on Functional Programming

Y2 - 19 September 2011 through 21 September 2011

ER -