Filters








6 Hits in 4.6 sec

Polymorphic type-checking in scheme

Steven L. Jenkins, Gary T. Leavens
<span title="">1996</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7fd7i46bwraoxekjfubln4qvda" style="color: black;">Computer languages</a> </i> &nbsp;
It uses and-types (intersection types) to control the use of datum and to generate accurate but simple types.  ...  The system also performs some rudimentary syntax checking. The system uses subtyping, but only in a primitive fashion.  ...  The type-checking algorithm is essentially the j algorithm of Milner, with a few additions as noted in the sections on datum, poof, and-types, and ....  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0096-0551(97)00002-7">doi:10.1016/s0096-0551(97)00002-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yifnhoch5rfcpfpoh5nn3j36eu">fatcat:yifnhoch5rfcpfpoh5nn3j36eu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060902104905/http://archives.cs.iastate.edu/documents/disk0/00/00/01/09/00000109-01/TR95-21.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/65/bd65682ffa1f6792077e6bd6cc7d4726b7ca6499.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0096-0551(97)00002-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Understanding class hierarchies using concept analysis

Gregor Snelting, Frank Tip
<span title="2000-05-01">2000</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> &nbsp;
is performed.  ...  In our approach, a class hierarchy is processed along with a set of applications that use it, and a fine-grained analysis of the access and subtype relationships between objects, variables, and class members  ...  The lattice generation is based on the final tables; it uses the very efficient implementation of Ganter's algorithm by Christian Lindig Performance and Lattice Statistics for Case Studies.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/353926.353940">doi:10.1145/353926.353940</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mfy6ipwhrjbvvg4xyza5muvjnm">fatcat:mfy6ipwhrjbvvg4xyza5muvjnm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813044359/https://www.cs.purdue.edu/homes/xyzhang/spring07/Papers/p540-snelting.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/e2/31/e2312c05198be0a472881e92701852a82347f7b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/353926.353940"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Pragmatic aspects of reusable program generators

NORMAN RAMSEY
<span title="">2003</span> <i title="Cambridge University Press (CUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uxwkeespobabbhdznzmxrfucny" style="color: black;">Journal of functional programming</a> </i> &nbsp;
This paper elaborates on these questions by means of case studies of the New Jersey Machine-Code Toolkit, the λ-RTL Translator, and the ASDL program generator.  ...  It is hoped that the paper will stimulate the development of better techniques.  ...  The comments of JFP's anonymous referees were unusually helpful. In particular, reviewer C suggested a restructuring that improved the paper immeasurably.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796802004628">doi:10.1017/s0956796802004628</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5eywxssl6zfidjbvihjpljtie4">fatcat:5eywxssl6zfidjbvihjpljtie4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100627132646/http://www.cs.tufts.edu/~nr/pubs/prag01.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/17/15/171583017b529d8fb32ae9547d47f6989c62d238.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1017/s0956796802004628"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> cambridge.org </button> </a>

Concept Hierarchy Induction [chapter]

<i title="Springer US"> Ontology Learning and Population from Text </i> &nbsp;
SO" are empty.  ...  Lindig [Lindig, 2000] presents empirical results analyzing contexts with a fill ratio below 0.1 and comes to the conclusion that the lattice size grows quadratically with respect to the size of the incidence  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-39252-3_6">doi:10.1007/978-0-387-39252-3_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tb5wowjhnbbcvljj2m4ezqckb4">fatcat:tb5wowjhnbbcvljj2m4ezqckb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308064140/http://pdfs.semanticscholar.org/ee43/5af49273a461e8d7cb1a5e16f762fe5f9690.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/ee/43/ee435af49273a461e8d7cb1a5e16f762fe5f9690.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-0-387-39252-3_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Burials in bytes

Yanik Hahnekamp
<span title="">2020</span> <span class="release-stage">unpublished</span>
This master´s thesis covers the methods and results of a quantitative study of Linear Pottery cemeteries in Austria, Bohemia, Moravia and Southern Germany.  ...  This data derived from the archaeological image database Montelius and the tasks have been carried out by the software WinSerion, which also provided graphical representations of the outcome.  ...  WinSerion performs different seriation algorithms. The reciprocal averaging is regarded as the optimal evaluation method.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25365/thesis.62589">doi:10.25365/thesis.62589</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q453grdxgbbszf3ioysgj66ro4">fatcat:q453grdxgbbszf3ioysgj66ro4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210119191759/http://othes.univie.ac.at/62589/1/67474.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/a4/88/a488f0a23ee7073f8006208f9c1ad78938232659.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25365/thesis.62589"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

2012 Jahresbericht Annual Report Jahresbericht Annual Report

Kontakt Geschäftsstelle, Schloss Dagstuhl, Heike Clemens, Jutka Gasiorowski
<span title="">2013</span> <span class="release-stage">unpublished</span>
Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all  ...  the participants, who worked hard and were amiable company all week.  ...  The first one to empty the poset wins.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qmtsqeo23jcjffzwbvuoasqchq">fatcat:qmtsqeo23jcjffzwbvuoasqchq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180515010213/http://drops.dagstuhl.de/opus/volltexte/2013/4299/pdf/annual-report-2012-web.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/65/196568b7ee1e63dbfa50c6d882b4e0150a348477.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>