- importsource = "01640925-2011-04.txt"
- Artículo:
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
- Autor:
Stefan Wehr
Peter Thiemann
- Página:
12.1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
04
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-04.txt
- Documento número 6397
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
An Abstract Model of Certificate Translation
- Autor:
Gilles Barthe
César Kunz
- Página:
13.1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
04
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-04.txt
- Documento número 6398
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
A Theory of Synchronous Relational Interfaces
- Autor:
Stavros Tripakis
Ben Lickly
Thomas A. Henzinge
Edward A. Lee
- Página:
14.1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
04
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-04.txt
- Documento número 6399
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
- Artículo:
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
- Autor:
Stefan Wehr
Peter Thiemann
- Página:
12.1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
04
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-04.txt
- Documento número 892592
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- Artículo:
An Abstract Model of Certificate Translation
- Autor:
Gilles Barthe
César Kunz
- Página:
13.1
- Publicación:
ACM Transactions on Programming Languages and Systems
- Volúmen:
33
- Número:
04
- Periodo:
2011
- ISSN:
01640925
- SrcID:
01640925-2011-04.txt
- Documento número 892593
- Actualizado el martes, 10 de julio de 2018 10:55:36 a. m.
- Creado el martes, 10 de julio de 2018 10:55:36 a. m.
- Enlace directo
- 1-5
- 6-6
