Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
20
20
h-index
2
2
i10-index
1
1
0
6
3
2020
2021
2022
2023
2024
2
5
5
5
3
Offentlig åtkomst
Visa alla
Visa alla
1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
Atsushi Igarashi
Professor, Graduate School of Informatics, Kyoto University
Verifierad e-postadress på kuis.kyoto-u.ac.jp
Följ
Yuya Tsuda
Graduate School of Informatics,
Kyoto University
Verifierad e-postadress på fos.kuis.kyoto-u.ac.jp -
Startsida
Programming Languages
Artiklar
Citeras av
Offentlig åtkomst
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
Gradual session types
A Igarashi, P Thiemann, Y Tsuda, VT Vasconcelos, P Wadler
Journal of Functional Programming 29
, 2019
17
2019
Space-Efficient Gradual Typing in Coercion-Passing Style
Y Tsuda, A Igarashi, T Tabuchi
arXiv preprint arXiv:1908.02414
, 2019
3
2019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–2
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen