Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Giuseppe Castagna

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Victor Lanvin

> Home > Persons > Giuseppe Castagna

Publications

2022
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CastagnaLLN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CastagnaLLN22
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen:
Revisiting occurrence typing. Sci. Comput. Program. 217: 102781 (2022)
2019
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/CastagnaLPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/CastagnaLPS19
Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani, Jeremy G. Siek:
Gradual typing: a new perspective. Proc. ACM Program. Lang. 3(POPL): 16:1-16:32 (2019)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/CastagnaDLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/CastagnaDLS19
Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek:
A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL 2019: 8:1-8:12
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-05590
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-05590
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen:
Revisiting Occurrence Typing. CoRR abs/1907.05590 (2019)
2017
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/CastagnaL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/CastagnaL17
Giuseppe Castagna, Victor Lanvin:
Gradual typing with union and intersection types. Proc. ACM Program. Lang. 1(ICFP): 41:1-41:28 (2017)

a service of

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.