Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Camarão, C."'
Publikováno v:
JUCS-Journal of Universal Computer Science 13(6): 874-890
Scopus-Elsevier
Scopus-Elsevier
The type system of Haskell and some related systems are based on an open world approach for overloading. In an open world, the principal type of each overloaded symbol must be explicitly annotated (in Haskell, annotations occur in type class declarat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::995be4226ceaf122589903c267df39d4
Publikováno v:
Scopus-Elsevier
JUCS-Journal of Universal Computer Science 9(8): 873-890
JUCS-Journal of Universal Computer Science 9(8): 873-890
This paper describes a practical type inference algorithm for typing poly-morphic and possibly mutually recursive definitions, using Haskell to provide a high-level implementation of the algorithm.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69d1351c819f036aa975753602c4c0a5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Bigonha, R. S., Musicante, M. A., Pardo, A., Garcia, A., Martini, A., Moreira, Á F., Melo, A. C. V., Du Bois, A. R., Santos, A., Camarão, C., Rubira, C., Braga, C., Naumann, D., Haeusler, E. H., Carvalho-Junior, F. H., Cafezeiro, I., Palsberg, J., Jeuring, J., João Saraiva, Guimarães, J., Labra, J., Fiadeiro, J. L., Figueiredo, L., Barbosa, L. S., Menezes, L. C., Maia, M., Valente, M. T. O., Bigonha, M. A. S., Benton, N., Rodriguez, N., Borba, P., Mosses, P. D., Lins, R. D., Cerqueira, R., Lima, R. M., Ierusalimschy, R., Rigo, S., Schneider, S. M., Soares, S., Dascalu, S., Thompson, S., Vene, V., Costa, V., Iorio, V. D.
Publikováno v:
Scopus-Elsevier
CIÊNCIAVITAE
CIÊNCIAVITAE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04f8233c4799e71b380d23fc0a464d4d
http://www.scopus.com/inward/record.url?eid=2-s2.0-34548013342&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-34548013342&partnerID=MN8TOARS
Autor:
Bigonha, M. A. S., Vasconcellos Garcia, A., Compagnoni, A., Pardo, A., Martini, A., Santos, A., Rubira, C., Naumann, D., Haeusler, E. H., Cousineau, G., Palsberg, J., Hughes, J., Guimarães, J., Fiadeiro, J. L., Barbosa, L. S., Maia, M., Bigonha, M., Benton, N., Menezes, P. B., Mosses, P., Lins, R. D., Cerqueira, R., Bigonha, R. S., Rigo, S., Sergio Soares, Thompson, S., Di Iorio, V., Durham, A. M., Garcia, A., Moreira, Á F., Camarão, C., Braga, C., Fernandes, E., Francisco Jr, H. C., Cafezeiro, I., Jeuring, J., Saraiva, J., Labra, J., Figueiredo, L., Menezes, L. C., Valente, M. T. O., Musicante, M., Rodriguez, N., Borba, P., Thiemann, P., Ferreira, R. A. C., Massa, R., Ierusalimschy, R., Mello Schneider, S., Dascalu, S., Vene, V.
Publikováno v:
Scopus-Elsevier
CIÊNCIAVITAE
CIÊNCIAVITAE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::11a13a3926e1e24e71644ab7adf748b7
http://www.scopus.com/inward/record.url?eid=2-s2.0-33747888037&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-33747888037&partnerID=MN8TOARS
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.