Old Web
English
Sign In
Acemap
>
authorDetail
>
Bernardo Toninho
Bernardo Toninho
University of Lisbon
Computer science
Programming language
Erasure
Expression (computer science)
Subtyping
4
Papers
6
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Featherweight go
2020
Robert Griesemer
Raymond Hu
Wen Kokke
Julien Lange
Ian Lance Taylor
Bernardo Toninho
Philip Wadler
Nobuko Yoshida
Show All
Source
Cite
Save
Citations (2)
Featherweight go
2020
Robert Griesemer
Raymond Hu
Wen Kokke
Julien Lange
Ian Lance Taylor
Bernardo Toninho
Philip Wadler
Nobuko Yoshida
Show All
Source
Cite
Save
Citations (1)
Featherweight go
2020
Robert Griesemer
Raymond Hu
Wen Kokke
Julien Lange
Ian Lance Taylor
Bernardo Toninho
Philip Wadler
Nobuko Yoshida
Show All
Source
Cite
Save
Citations (2)
Refinement kinds: type-safe programming with practical type-level computation
2019
Luís Caires
Bernardo Toninho
Show All
Source
Cite
Save
Citations (1)
1