<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><span style="font-size: 13.3333px;">Dear Kevin,</span>
<div style="font-size: 13.3333px;">Yes, while the rest of the world was convening in Albuquerque, some gathered in Pisa for HaPoC. Martini's was one of the papers presented there. </div>
<div style="font-size: 13.3333px;"><br>
</div>
<div style="font-size: 13.3333px;">Although we were jealous for not being at SHOT and missing the SIGCIS meeting (and blamed ourselves for scheduling coinciding meetings), there was an engaging conference with excellent papers.</div>
<div style="font-size: 13.3333px;">The full programme is at</div>
<div style="font-size: 13.3333px;">http://hapoc2015.sciencesconf.org/program<a href="http://hapoc2015.sciencesconf.org/program" target="_blank" style="font-size: 10pt;">http://hapoc2015.sciencesconf.org/program</a></div>
<div style="font-size: 13.3333px;"><br>
</div>
<div style="font-size: 13.3333px;">Gerard</div>
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<hr tabindex="-1">
<div id="divRpF284269" style="direction: ltr;"><font face="Tahoma" size="2" color="#000000"><b>Van:</b> Members [members-bounces@lists.sigcis.org] namens Kevin Driscoll [kdriscoll@alum.mit.edu]<br>
<b>Verzonden:</b> zaterdag 17 oktober 2015 21:37<br>
<b>Aan:</b> members@sigcis.org<br>
<b>Onderwerp:</b> [SIGCIS-Members] The "type" concept in programming languages<br>
</font><br>
</div>
<div></div>
<div>
<div dir="ltr">
<div>This is a neat paper that traces the emergence of "type" as a technical term in programming languages by turning back to the documentation of FORTRAN, Algol 58, etc.<br>
<br>
</div>
Kevin<br>
<br>
<div>--<br>
<br>
Martini, Simone. “Several Types of Types in Programming Languages.” arXiv:1510.03726 [cs], October 13, 2015.
<a href="http://arxiv.org/abs/1510.03726" target="_blank">http://arxiv.org/abs/1510.03726</a>.<br>
<br>
Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the
concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character)
on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation;
the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the
concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.
<br>
<br>
<br>
</div>
</div>
</div>
</div>
</div>
</body>
</html>