Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/sigsoft/Kfoury00
%A Kfoury, A. J.
%D 2000
%J ACM SIGSOFT Softw. Eng. Notes
%K dblp
%N 1
%P 61-62
%T Type theory and rewriting theory for expressive, efficient and reliable programming languages.
%U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft25.html#Kfoury00
%V 25
@article{journals/sigsoft/Kfoury00,
added-at = {2020-09-17T00:00:00.000+0200},
author = {Kfoury, A. J.},
biburl = {https://www.bibsonomy.org/bibtex/27afc780f679f6344010f840598d22bd7/dblp},
ee = {https://doi.org/10.1145/340855.340968},
interhash = {c6816a3b98569c17d9cd930203a30523},
intrahash = {7afc780f679f6344010f840598d22bd7},
journal = {ACM SIGSOFT Softw. Eng. Notes},
keywords = {dblp},
number = 1,
pages = {61-62},
timestamp = {2020-09-18T11:36:52.000+0200},
title = {Type theory and rewriting theory for expressive, efficient and reliable programming languages.},
url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft25.html#Kfoury00},
volume = 25,
year = 2000
}