view
electronic edition via DOI
electronic edition via DOI
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/icfp/Sozeau07
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/icfp/Sozeau07
Matthieu Sozeau
:
Program-ing finger trees in Coq.
ICFP
2007
:
13-24
view
electronic edition via DOI
electronic edition via DOI
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/icfp/SymeNM07
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/icfp/SymeNM07
Don Syme
,
Gregory Neverov
,
James Margetson
:
Extensible pattern matching via a lightweight language extension.
ICFP
2007
:
29-40
view
electronic edition via DOI
electronic edition via DOI
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/icfp/Wazny07
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/icfp/Wazny07
Jeremy Wazny
:
Experience report: functional programming in c-rules.
ICFP
2007
:
25-28
view
electronic edition via DOI
electronic edition via DOI
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/icfp/WelshG07
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/icfp/WelshG07
Noel Welsh
,
David Gurnell
:
Experience report: scheme in commercial web application development.
ICFP
2007
:
153-156
view
table of contents in dblp
electronic edition via DOI
electronic edition via DOI
unpaywalled version
references & citations
authority control:
export record
BibTeX
RIS
RDF N-Triples
RDF Turtle
RDF/XML
XML
dblp key:
conf/icfp/2007
ask others
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
PubPeer
share record
Twitter
Reddit
BibSonomy
LinkedIn
Facebook
persistent URL:
https://dblp.org/rec/conf/icfp/2007
Ralf Hinze
,
Norman Ramsey
:
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007.
ACM
2007
, ISBN
978-1-59593-815-2
[contents]