BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

A unified category-theoretic formulation of typed binding signatures.

MERLIN, : 13-24, 2005.
Authors: Miki Tanaka and John Power
Editors: Randy Pollack
URL: http://dblp.uni-trier.de/db/conf/icfp/merlin2005.html#TanakaP05
Description: dblp
Tags: dblp
| URL | BibTeX  
@inproceedings{conf/icfp/TanakaP05,
title = {A unified category-theoretic formulation of typed binding signatures.},
author = {Miki Tanaka and John Power},
booktitle = {MERLIN},
crossref = {conf/icfp/2005merlin},
editor = {Randy Pollack},
pages = {13-24},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/icfp/merlin2005.html#TanakaP05},
year = {2005},
description = {dblp},
ee = {http://doi.acm.org/10.1145/1088454.1088457}, date = {2008-04-23},
keywords = {dblp }
}