en
de
BibSonomy
publication
tag
user
group
author
concept
BibTeX key
search:all
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
URL
DOI
TeX
publication post of
dblp
tags
(
dblp
's tags highlighted)
dblp
users
dblp
dblp
in citation format:
www
Harvard
Chicago
APA
DIN 1505
BibTeX
EndNote
all formats
Specifying the Correctness of Binding-Time Analysis.
Mitchell Wand
.
POPL,
page 137-143.
ACM Press,
(
1993
)
@inproceedings{conf/popl/Wand93, added-at = {2012-05-21T00:00:00.000+0200}, author = {Wand, Mitchell}, biburl = {http://www.bibsonomy.org/bibtex/2820be338fc615596402b9c762d0380fb/dblp}, booktitle = {POPL}, crossref = {conf/popl/1993}, editor = {Deusen, Mary S. Van and Lang, Bernard}, ee = {http://doi.acm.org/10.1145/158511.158614}, interhash = {158422f543ef48c05ee2d67adcd10363}, intrahash = {820be338fc615596402b9c762d0380fb}, isbn = {0-89791-560-7}, keywords = {dblp}, pages = {137-143}, publisher = {ACM Press}, timestamp = {2012-05-21T00:00:00.000+0200}, title = {Specifying the Correctness of Binding-Time Analysis.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl93.html#Wand93}, year = 1993 }
%0 Conference Paper %1 conf/popl/Wand93 %A Wand, Mitchell %B POPL %@ 0-89791-560-7 %D 1993 %E Deusen, Mary S. Van %E Lang, Bernard %I ACM Press %K %P 137-143 %T Specifying the Correctness of Binding-Time Analysis. %U http://dblp.uni-trier.de/db/conf/popl/popl93.html#Wand93
discussion
(0)
resources (URL, PDF, ...)
URL:
http://dblp.uni-trier.de/db/conf/popl/popl93.html#Wand93
internal link:
?
You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
BibTeX key:
conf/popl/Wand93
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact