A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit <a rel="external noopener" href="https://www.pure.ed.ac.uk/ws/files/16517487/Database_Programming_in_Machiavelli_a_Polymorphic_Language_with_Static_Type_Inference.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Filters
Database programming in Machiavelli---a polymorphic language with static type inference
<span title="">1989</span>
<i title="ACM Press">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vxrc3vebzzachiwy3nopwi3h5u" style="color: black;">Proceedings of the 1989 ACM SIGMOD international conference on Management of data - SIGMOD '89</a>
</i>
SIGMOD Conference on Management of Data, Portland, Oregon, May, 1989. ...
Introduction The term "impedance mismatch" has been coined [Mai89] to describe the phenomenon that the data types available in a programming language do not usually match * Appeared in Proceedings of ACM ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/67544.66931">doi:10.1145/67544.66931</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigmod/OhoriBT89.html">dblp:conf/sigmod/OhoriBT89</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lnv36khi4vbipiuexhdymoline">fatcat:lnv36khi4vbipiuexhdymoline</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720165330/https://www.pure.ed.ac.uk/ws/files/16517487/Database_Programming_in_Machiavelli_a_Polymorphic_Language_with_Static_Type_Inference.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/c5/40/c5407a86699c1aa71a6a3f9ed472485d347545bb.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/67544.66931">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Page 178 of Computational Linguistics Vol. 18, Issue 2
[page]
<span title="">1992</span>
<i title="MIT Press Journals">
<a target="_blank" rel="noopener" href="https://archive.org/details/pub_computational-linguistics" style="color: black;">Computational Linguistics </a>
</i>
.; and Resnick, Lori Alperin (1989). “CLASSIC: a structural data model for objects.” In Proceedings, 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon. ...
(eds). (1989). Software Reusability. ACM Press—Addison-Wesley.
Birkoff, Garrett (1940). Lattice Theory. American Mathematical Society, third edition, 1973. ...
<span class="external-identifiers">
</span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_computational-linguistics_1992-06_18_2/page/178" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Archive [Microfilm]
<div class="menu fulltext-thumbnail">
<img src="https://archive.org/serve/sim_computational-linguistics_1992-06_18_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
On the relation of programs and computations to models of temporal logic
[chapter]
<span title="">1989</span>
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
ACM SIGPLAN Notices, Vol. 21, No. 10, October 1986 . [Khos86] S. Khoshafian, G. Copeland. "Object Identity". Proceedings of the OOPSLA Conference, Portland, Oregon, September 1986. [Lamp83] L. ...
Proceedings of the OOPSLA Conference, Portland, Oregon, September 1986. Manna, P. Wolper. "Synthesis of Communicating Process". ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-51803-7_23">doi:10.1007/3-540-51803-7_23</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bj43y552uvbcle5zsec6lpb2gy">fatcat:bj43y552uvbcle5zsec6lpb2gy</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809160917/http://asg.unige.ch/site/papers/Arap90a.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/e8/d5/e8d5a2857f490c0b37ea9ab8735cf0b4e1d9f69e.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-51803-7_23">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Database programming in Machiavelli---a polymorphic language with static type inference
<span title="1989-06-01">1989</span>
<i title="Association for Computing Machinery (ACM)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/svqjiw2cwzftpcod3duuxcbveu" style="color: black;">SIGMOD record</a>
</i>
SIGMOD Conference on Management of Data, Portland, Oregon, May, 1989. ...
Introduction The term "impedance mismatch" has been coined [Mai89] to describe the phenomenon that the data types available in a programming language do not usually match * Appeared in Proceedings of ACM ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/66926.66931">doi:10.1145/66926.66931</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pktjago3gjcilgckej2o6vejii">fatcat:pktjago3gjcilgckej2o6vejii</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720165330/https://www.pure.ed.ac.uk/ws/files/16517487/Database_Programming_in_Machiavelli_a_Polymorphic_Language_with_Static_Type_Inference.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/c5/40/c5407a86699c1aa71a6a3f9ed472485d347545bb.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/66926.66931">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Query evaluation techniques for large databases
<span title="1993-06-01">1993</span>
<i title="Association for Computing Machinery (ACM)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a>
</i>
In Proceedings
of ACM
SIGMOD
Conference.
ACM, New York, 99.
1986. ...
In Proceedings
of ACM SIGMOD
Conference.
ACM, New York,
440.
1989.
The
LSD
tree:
Spatial
access
to
multi-
dimensional
point
and
nonpoint
objects. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/152610.152611">doi:10.1145/152610.152611</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/auqfirimvjbsfo36s6guwgqc3a">fatcat:auqfirimvjbsfo36s6guwgqc3a</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813040827/http://cs.brown.edu/courses/cs227/archives/2008/Papers/QueryEval/GraefeSurveys.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/19/16/1916d2e01d8ae0c337453e2be6fcef6d3938f88a.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/152610.152611">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
Design Trade-offs for a Robust Dynamic Hybrid Hash Join (Extended Version)
[article]
<span title="2021-12-05">2021</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Data - 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September In Proceedings of the 1989 ACM SIGMOD International Conference on Management
1-5, 2014. ...
ACM, online conference
[Portland, OR, USA], 2845–2847.
[34] Shiva Jahangiri. 2021. Wisconsin Benchmark Data Generator: To JSON and
Beyond. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.02480v1">arXiv:2112.02480v1</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/edxylscxrzgwlbxcmy3ku33s7m">fatcat:edxylscxrzgwlbxcmy3ku33s7m</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211208124239/https://arxiv.org/pdf/2112.02480v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/da/e4/dae403d265004dd37c4417ffee710301fdc2af68.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.02480v1" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Page 320 of IBM Systems Journal Vol. 34, Issue 2
[page]
<i title="International Business Machines Corporation">
<a target="_blank" rel="noopener" href="https://archive.org/details/pub_ibm-systems-journal" style="color: black;">IBM Systems Journal </a>
</i>
DeWitt, “A Performance Evaluation of Four Parallel Join Algorithms in a Shared-Nothing Multipro- cessor Environment,” Proceedings of the ACM SIGMOD Conference, Portland, Oregon (May 1989), pp. 110-121. ...
Copeland et al., “Data Placement in Bubba,” Proceed- ings of the 1988 ACM SIGMOD Conference, Chicago, IL (June 1988), pp. 99-108.
. S. Ghandeharizadeh and D. ...
<span class="external-identifiers">
</span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_ibm-systems-journal_1995_34_2/page/320" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Archive [Microfilm]
<div class="menu fulltext-thumbnail">
<img src="https://archive.org/serve/sim_ibm-systems-journal_1995_34_2/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
The design of the E programming language
<span title="1993-07-01">1993</span>
<i title="Association for Computing Machinery (ACM)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4hplau6wtnhnfnqt2t7vbri6vm" style="color: black;">ACM Transactions on Programming Languages and Systems</a>
</i>
In Proceedings
of the ACM Conference
on Object-
Oriented
Programming
Systems, Languages
and Applications
(Portland, Oregon, Sept. 1986).
35. MEYER, B. ...
In Proceedings
of the ACM
Conference
on Object-Oriented
Programming
Sys-
tems, Languages
and Applications
(Portland,
Oregon,
Sept. 1986).
Database
Syst. 2, 3 (1977). ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/169683.174157">doi:10.1145/169683.174157</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g4k6pw6cq5hojlnwxw6hqjbzn4">fatcat:g4k6pw6cq5hojlnwxw6hqjbzn4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130514104637/http://cs.brown.edu/courses/cs295-11/2006/elanguage.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/60/3a/603a601c941dcd0ed824707338ef6d3c98f36d49.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/169683.174157">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
acm.org
</button>
</a>
A Survey of Deep Active Learning
[article]
<span title="2021-12-05">2021</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
In Proceedings of the 2nd Workshop on Cognitive Modeling
and Computational Linguistics, CMCL@ACL 2011, Portland, Oregon, USA, June 23, 2011. ...
In
Proceedings of the 2018 International Conference on Management of Data, SIGMOD Conference 2018, Houston, TX, USA,
June 10-15, 2018. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2009.00236v2">arXiv:2009.00236v2</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zuk2doushzhlfaufcyhoktxj7e">fatcat:zuk2doushzhlfaufcyhoktxj7e</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211208094536/https://arxiv.org/pdf/2009.00236v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/94/eb/94eb8e46767ae77e265b0a20dcc0d9f69d2d6e2b.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2009.00236v2" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
WebDSL: A Case Study in Domain-Specific Language Engineering
[chapter]
<span title="">2008</span>
<i title="Springer Berlin Heidelberg">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a>
</i>
Pottier, editors, Proceedings of the ACM Workshop on ML, pages 84–94,
Portland, Oregon, USA, September 2006. ACM.
10. C. Bauer and G. King. ...
Rustin, editor, Proceedings of 1974 ACM-SIGMOD Workshop on
Data Description, Access and Control, pages 249–264, Ann Arbor, Michigan, May
1974. ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88643-3_7">doi:10.1007/978-3-540-88643-3_7</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ooqyqluajbacvnengokp6xlpl4">fatcat:ooqyqluajbacvnengokp6xlpl4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130429195134/http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2008-023.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/b4/63/b463071748b9c99a3480712ac00e264dada64610.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-88643-3_7">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
springer.com
</button>
</a>
Welcome Message from the General Chair
<span title="">2006</span>
<i title="IEEE">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/64vpoz5fx5azda553iibjuf7h4" style="color: black;">International Conference on Dependable Systems and Networks (DSN'06)</a>
</i>
VLDB conference regulars are familiar with Canada. This is the third time the conference is visiting, after Montreal (1980) and Vancouver (1992.) ...
VLDB conferences attract today hundreds of submissions and participants. ...
Acknowledgements The contents presented in this document would not have been available to the attendees of the VLDB conference without the contributions of Mike Godfrey (MG) and Dave Wortman (DW), who ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn.2006.75">doi:10.1109/dsn.2006.75</a>
<a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dsn/X06.html">dblp:conf/dsn/X06</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k4duddvbk5glboxkqxkkfsh4p4">fatcat:k4duddvbk5glboxkqxkkfsh4p4</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218000254/http://pdfs.semanticscholar.org/0939/001db04bc0858f036e65d7ff2c4f4c66f122.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/39/0939001db04bc0858f036e65d7ff2c4f4c66f122.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dsn.2006.75">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>
The Schulze Method of Voting
[article]
<span title="2022-03-06">2022</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
), 13-15 October 2008, Portland, Oregon, USA, proceedings, pages 281-287 (link) • James D. ...
, Twenty-Second ACM Conference on Economics and Computation (EC '21), Budapest, Hungary, 18-23 July 2021; proceedings, pages 884-885, DOI: 10.1145/3465456.3467592 (arXiv:2011.03791) (video) • Lirong Xia ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.02973v11">arXiv:1804.02973v11</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ychf6pfp5nevxovjmqmrng2rmu">fatcat:ychf6pfp5nevxovjmqmrng2rmu</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220309103012/https://arxiv.org/ftp/arxiv/papers/1804/1804.02973.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
</button>
</a>
<a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1804.02973v11" title="arxiv.org access">
<button class="ui compact blue labeled icon button serp-button">
<i class="file alternate outline icon"></i>
arxiv.org
</button>
</a>
Ανακάλυψη γνώσης από βιολογικά δεδομένα:
<span title="">2011</span>
In Proceedings of 2nd
International Conference on Knowledge Discovery and Data Mining, Portland,
Oregon, USA, 226-231.
Fan, H. (2004). ...
In Proceedings of the ACM SIGMOD International Conference on Management of
Data, Dallas, Texas, USA, 1-12.
Hajarnavis, A., Korf, I., and Durbin, R. (2004). ...
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.26262/heal.auth.ir.127029">doi:10.26262/heal.auth.ir.127029</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rm37chtklndabbsqlhubzsqjay">fatcat:rm37chtklndabbsqlhubzsqjay</a>
</span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211211055427/https://ikee.lib.auth.gr/record/127029/files/GRI-2011-7072.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/bd/14/bd14648e49168fcd8d07c476b3fd8a87fcda8b61.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.26262/heal.auth.ir.127029">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="unlock alternate icon" style="background-color: #fb971f;"></i>
Publisher / doi.org
</button>
</a>