<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00862815</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-19T10:47:35+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="sv">Gradual Typing for Smalltalk</title>
            <author role="aut">
              <persName>
                <forename type="first">Esteban</forename>
                <surname>Allende</surname>
              </persName>
              <idno type="halauthorid">734059-0</idno>
              <affiliation ref="#struct-212391"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Oscar</forename>
                <surname>Callau</surname>
              </persName>
              <idno type="halauthorid">734060-0</idno>
              <affiliation ref="#struct-212391"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Johan</forename>
                <surname>Fabry</surname>
              </persName>
              <idno type="halauthorid">216506-0</idno>
              <affiliation ref="#struct-12959"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Éric</forename>
                <surname>Tanter</surname>
              </persName>
              <email type="md5">709aab309cc51243a42b9452cf3b5471</email>
              <email type="domain">dcc.uchile.cl</email>
              <idno type="idhal" notation="string">eric-tanter</idno>
              <idno type="idhal" notation="numeric">15892</idno>
              <idno type="halauthorid" notation="string">2157-15892</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-7359-890X</idno>
              <idno type="IDREF">https://www.idref.fr/083627189</idno>
              <affiliation ref="#struct-12959"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marcus</forename>
                <surname>Denker</surname>
              </persName>
              <email type="md5">c147c32f94baa71afa9d7be0a289766d</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">marcus-denker</idno>
              <idno type="idhal" notation="numeric">888</idno>
              <idno type="halauthorid" notation="string">9834-888</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-2549-4222</idno>
              <idno type="IDREF">https://www.idref.fr/166372277</idno>
              <idno type="ARXIV">https://arxiv.org/a/denker_m_1</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=uVa--40AAAAJ</idno>
              <affiliation ref="#struct-82140"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lse</forename>
                <surname>Lse</surname>
              </persName>
              <email type="md5">5da97c2837b65f20186e33a01b85efad</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-09-17 15:22:18</date>
              <date type="whenModified">2025-04-23 09:24:02</date>
              <date type="whenReleased">2013-09-18 08:39:22</date>
              <date type="whenProduced">2014-12-15</date>
              <date type="whenEndEmbargoed">2013-09-17</date>
              <ref type="file" target="https://inria.hal.science/hal-00862815v1/document">
                <date notBefore="2013-09-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00862815v1/file/Alle13aGradualTyping.pdf" id="file-862815-1130074">
                <date notBefore="2013-09-17"/>
              </ref>
              <ref type="externalLink" target="http://marcusdenker.de/publications/Alle13aGradualTyping.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="152987">
                <persName>
                  <forename>Lse</forename>
                  <surname>Lse</surname>
                </persName>
                <email type="md5">5da97c2837b65f20186e33a01b85efad</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00862815</idno>
            <idno type="halUri">https://inria.hal.science/hal-00862815</idno>
            <idno type="halBibtex">allende:hal-00862815</idno>
            <idno type="halRefHtml">&lt;i&gt;Science of Computer Programming&lt;/i&gt;, 2014, 96 (1), pp.52-69. &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.scico.2013.06.006"&gt;&amp;#x27E8;10.1016/j.scico.2013.06.006&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Science of Computer Programming, 2014, 96 (1), pp.52-69. &amp;#x27E8;10.1016/j.scico.2013.06.006&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-862815-1130074"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-LILLE3">Université de Lille Sciences humaines et sociales</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-LILLE">INRIA Lille - Nord Europe</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA-CHILE">INRIA Chile</idno>
            <idno type="stamp" n="CRISTAL">Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL)</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="CRISTAL-RMOD" corresp="CRISTAL">CRISTAL-RMOD</idno>
            <idno type="stamp" n="PHARO">Pharo</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="sv">Gradual Typing for Smalltalk</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Esteban</forename>
                    <surname>Allende</surname>
                  </persName>
                  <idno type="halauthorid">734059-0</idno>
                  <affiliation ref="#struct-212391"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Oscar</forename>
                    <surname>Callau</surname>
                  </persName>
                  <idno type="halauthorid">734060-0</idno>
                  <affiliation ref="#struct-212391"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Johan</forename>
                    <surname>Fabry</surname>
                  </persName>
                  <idno type="halauthorid">216506-0</idno>
                  <affiliation ref="#struct-12959"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Éric</forename>
                    <surname>Tanter</surname>
                  </persName>
                  <email type="md5">709aab309cc51243a42b9452cf3b5471</email>
                  <email type="domain">dcc.uchile.cl</email>
                  <idno type="idhal" notation="string">eric-tanter</idno>
                  <idno type="idhal" notation="numeric">15892</idno>
                  <idno type="halauthorid" notation="string">2157-15892</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-7359-890X</idno>
                  <idno type="IDREF">https://www.idref.fr/083627189</idno>
                  <affiliation ref="#struct-12959"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marcus</forename>
                    <surname>Denker</surname>
                  </persName>
                  <email type="md5">c147c32f94baa71afa9d7be0a289766d</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">marcus-denker</idno>
                  <idno type="idhal" notation="numeric">888</idno>
                  <idno type="halauthorid" notation="string">9834-888</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-2549-4222</idno>
                  <idno type="IDREF">https://www.idref.fr/166372277</idno>
                  <idno type="ARXIV">https://arxiv.org/a/denker_m_1</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=uVa--40AAAAJ</idno>
                  <affiliation ref="#struct-82140"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">18828</idno>
                <idno type="issn">0167-6423</idno>
                <title level="j">Science of Computer Programming</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">96</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">52-69</biblScope>
                  <date type="datePub">2014-12-15</date>
                  <date type="dateEpub">2013-08-08</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.scico.2013.06.006</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="classification">Type systems, gradual typing, Smalltalk</classCode>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Being able to combine static and dynamic typing within the same language has clear benefits in order to support the evolution of prototypes or scripts into mature robust programs. While being an emblematic dynamic object-oriented language, Smalltalk is lagging behind in this regard. We report on the design, implementation and application of Gradualtalk, a gradually-typed Smalltalk meant to enable incremental typing of existing programs. The main design goal of the type system is to support the features of the Smalltalk language, like metaclasses and blocks, live programming, and to accomodate the programming idioms used in practice. We studied a number of existing projects in order to determine the features to include in the type system. As a result, Gradualtalk is a practical approach to gradual types in Smalltalk, with a novel blend of type system features that accomodate most programming idioms.</p>
            </abstract>
            <particDesc>
              <org type="consortium">PLOMO</org>
              <org type="consortium">PHARO</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-212391" status="VALID">
          <orgName>PLEIAD</orgName>
          <desc>
            <address>
              <addrLine>Campus Poniente - University of Chile ; Building Blanco Encalada 2120 ; Santiago</addrLine>
              <country key="CL"/>
            </address>
            <ref type="url">http://pleiad.dcc.uchile.cl/location</ref>
          </desc>
          <listRelation>
            <relation active="#struct-12959" type="direct"/>
            <relation active="#struct-502672" type="indirect"/>
            <relation active="#struct-142796" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-12959" status="VALID">
          <orgName>Computer Science Department [Santiago]</orgName>
          <orgName type="acronym">DCC</orgName>
          <desc>
            <address>
              <addrLine>Avenida Blanco Encalada 2120, Tercer Piso, Santiago, Chile</addrLine>
              <country key="CL"/>
            </address>
            <ref type="url">http://www.dcc.uchile.cl/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-502672" type="direct"/>
            <relation active="#struct-142796" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-82140" status="OLD">
          <idno type="RNSR">200919009C</idno>
          <orgName>Analyses and Languages Constructs for Object-Oriented Application Evolution</orgName>
          <orgName type="acronym">RMOD</orgName>
          <date type="start">2009-07-01</date>
          <date type="end">2014-12-31</date>
          <desc>
            <address>
              <addrLine>Centre Inria de l'Université de Lille ,170 Av. de Bretagne, 59000 Lille</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/rmod</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2546" type="direct"/>
            <relation active="#struct-92973" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-301700" type="indirect"/>
            <relation name="UMR8022" active="#struct-441569" type="indirect"/>
            <relation active="#struct-104752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-502672" status="VALID">
          <orgName>Faculty of Science</orgName>
          <desc>
            <address>
              <addrLine>Las Palmeras 3425, Ñuñoa, Santiago</addrLine>
              <country key="CL"/>
            </address>
            <ref type="url">https://ciencias.uchile.cl/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-142796" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-142796" status="VALID">
          <idno type="ROR">https://ror.org/047gc3g35</idno>
          <orgName>Universidad de Chile = University of Chile [Santiago]</orgName>
          <orgName type="acronym">UCHILE</orgName>
          <desc>
            <address>
              <addrLine>Av. Libertador Bernardo O'Higgins 1058, Santiago de Chile</addrLine>
              <country key="CL"/>
            </address>
            <ref type="url">http://www.uchile.cl/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2546" status="OLD">
          <orgName>Laboratoire d'Informatique Fondamentale de Lille</orgName>
          <orgName type="acronym">LIFL</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment M3 59655 Villeneuve d'Ascq Cédex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lifl.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-92973" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-301700" type="direct"/>
            <relation name="UMR8022" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92973" status="OLD">
          <idno type="IdRef">026404184</idno>
          <idno type="ROR">https://ror.org/0546v5182</idno>
          <orgName>Université de Lille, Sciences et Technologies</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Cité Scientifique - 59655 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille1.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301700" status="OLD">
          <idno type="IdRef">026404524</idno>
          <idno type="ISNI">0000000121517701</idno>
          <idno type="ROR">https://ror.org/025b4c754</idno>
          <orgName>Université de Lille, Sciences Humaines et Sociales</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine universitaire du "Pont de Bois"Rue du Barreau BP 60149 59653 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lille3.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-104752" status="VALID">
          <idno type="RNSR">200818245B</idno>
          <idno type="ROR">https://ror.org/04eej9726</idno>
          <orgName>Centre Inria de l'Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>Parc Scientifique de la Haute Borne 40, avenue Halley Bât.A, Park Plaza 59650 Villeneuve d'Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/lille/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>