default search action
BibTeX record conf/lfp/KfouryW94
@inproceedings{DBLP:conf/lfp/KfouryW94, author = {A. J. Kfoury and J. B. Wells}, editor = {Robert R. Kessler}, title = {A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus}, booktitle = {Proceedings of the 1994 {ACM} Conference on {LISP} and Functional Programming, Orlando, Florida, USA, 27-29 June 1994}, pages = {196--207}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/182409.182456}, doi = {10.1145/182409.182456}, timestamp = {Fri, 06 Aug 2021 15:08:55 +0200}, biburl = {https://dblp.org/rec/conf/lfp/KfouryW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.