المؤلفون: Camarão, Carlos, Figueiredo, Lucilia, Rodrigues, Hermann

المصدر: Journal of the Brazilian Computer Society. November 2003 9(1)

مصطلحات موضوعية: Compiler generation, monadic parsing

وصف الملف: text/html

URL الوصول: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002003000200004

المؤلفون: Camarão, Carlos, Sulzmann, Martin

المصدر: Science of Computer Programming ; volume 218, page 102793 ; ISSN 0167-6423

الاتاحة: http://dx.doi.org/10.1016/j.scico.2022.102793
https://api.elsevier.com/content/article/PII:S0167642322000260?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S0167642322000260?httpAccept=text/plain

المؤلفون: Camarão, Carlos, Figueiredo, Lucília, Ribeiro, Rodrigo

المصدر: Science of Computer Programming ; volume 124, page 1-19 ; ISSN 0167-6423

الاتاحة: http://dx.doi.org/10.1016/j.scico.2016.03.007
https://api.elsevier.com/content/article/PII:S0167642316000836?httpAccept=text/plain
https://api.elsevier.com/content/article/PII:S0167642316000836?httpAccept=text/xml

المؤلفون: Figueiredo, Lucília, Camarão, Carlos

المساهمون: Camarão, Carlos 2LRi77IAAAAJ, Camarão, Carlos 0000-0002-4272-9997

المصدر: Revista Colombiana de Computación; Vol. 3 Núm. 1 (2002): Revista Colombiana de Computación; 21-40

مصطلحات موضوعية: Innovaciones tecnológicas, Ciencia de los computadores, Desarrollo de tecnología, Ingeniería de sistemas, Investigaciones, Tecnologías de la información y las comunicaciones, TIC´s, Technological innovations, Computer science, Technology development, Systems engineering, Investigations, Information and communication technologies, ICT's, Language styles, Functional schedules, Ciencias de la computación, Ingeniero de sistemas, Investigación, Tecnología de la información y comunicación, Estilos de lenguaje, Programaciones funcionales, Desarrollo tecnológico

وصف الملف: application/pdf

Relation: https://revistas.unab.edu.co/index.php/rcc/article/view/1106/1078; https://revistas.unab.edu.co/index.php/rcc/article/view/1106; [1] Alexander Aiken and Edward L. Wimmers. Type inclusion constraints and type in-ference. In Proceedings of ACM Functional Programming Languages and Computer Architecture, 1993.; [3] Richard Bird. Introduction to Functional Programming using Haskell. Prentice-Hall, 1998. 2nd ed.; F. Warren Burton and Robert D. Cameron. Pattern matching with abstract data types. Journal of Functional Programming, 3(2):171-190, April 1993.; [5] Carlos Camarao and Lucflia Figueiredo. Type Inference for Overloading without Re-strictions, Declarations or Annotations. Proc. of FLOPS'99, LNCS 1722, pages 37-52, 1999.; Carlos Camarao and Lucflia Figueiredo. Type Inference for Overloading. Technical report, UFMG, 2001. Submitted for publication. Available at http://www.dcc.ufmg.brrcarnarao/ct-tech-rep.ps.; [7] Guy Cousineau and Michel Mauny. The Functional Approach to Programming. Cam-bridge University Press, 1998.; [8] Pierre-Lous Curien and Giorgio Ghelli. Coherence of subsumption: Minimum typing and type-checking in F; [9] You-Chin Full and Prateek Mishra. Type Inference with Subtypes. In 2nd European Symposium on Programming (ESOP'88), pages 94-114, 1988. Springer-Verlag LNCS 300.; [10] You-Chin Fuh and Prateek Mishra. Type inference with subtypes. Theoretical Computer Science, 73(2):155-175, 1990.; [11] You-Chin Full and Prateek Mishra. Polymorphic Subtype Inference: Closing the Theory-Practice Cap. In Proceedings of TAPSOFT'89, volume 2, pages 167-183, 1997.; [12] Pedro P. Costanza, Ricardo Pala, and Manuel Nufiez. A New Look at Patternn Match-ing in Abstract Data Types. ACM SICPLAN International Conference on Flinctioruil Programming, pages 110-121, May 1996.; [13] My Hoang and John Mitchell. Lower bounds on type inference with subtypes. Confer-ence Record of POPL'95: the 25th ACM SICPLAN-SICACT Symposium on Principles of Programming Languages, pages 176-185, 1995.; [14] Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia. Cambridge University Press, 2000.; [15] Cliff B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1990.; [16] Mark Jones et al. Hugs98. http://www.haskell.org/hugs/, 1998.; [18] Simon Marlow and Philip Waller. A practical subtyping system for Erlang. In Pro-ceedings of ICFP'97: the ACM SIGPLAN International Conference on Functional Pro-gramming, pages 136-149, 1997.; 20] John Mitchell. Type inference with simple subtypes. Journal of Functional Program-ming, 1(3):245-285, July 1991.; [21] Johan Nordlander. Pragmatic Subtyping in Polymorphic Languages. In Proceedings of ICFP'98.- the ACM SIGPLAN International Conference on anctional Programming, 1998. volume 34(1) of ACM SIGPLAN Notices, pages 216-227, June 1999.; 22] Johan Nordlander. Polymorphic Subtyping in O'Haskell. In Proceedings of the APPSEm Workshop on Subtyping and Dependent Types in Programming, 2000.; [23] Johan Nordlander. Polymorphic subtyping in o'haskell. In Proceedings of the APPSEm Workshop on Subtyping and Dependent Types in Programming, 2000.; 24] Chris Okasaki. Views for Standard ML. In Proc. 1998 ACM SIGPLAN Workshop on ML, 1998.; [25] Lawrence Paulson. ML for the Working Programmer. Cambridge University Press, 1996. 2nd edition.; [26J Rawls Pottier. A Framework for Type Inference with Subtyping. In Proceedings of ICFP'98: the ACM SICPLAN International Conference on Functional Programming, 1998. volume 34(1) of ACM SICPLAN Notices, pages 228-238, June 1999.; [27J Jacob Rehof. Minimal Typings in Atomic Subtyping. Proceedings of POPL'97: the 24th ACM SICPLAN-SICACT Symposium on Principles of Programming Languages, 1997.; [28J Jakob Rehof. The Complexity of Simple Subtyping Systems. PhD thesis, University of Copenhagen, 1998.; [29J Didier Remy and J4r6me Vouillon. Objective ML: An effective object-oriented extension to ML. Theory And Practice of Object Systems, 4(1):27-50, 1998.; [30J Dilip Sequeira. Type Inference with Bounded Quantification. PhD thesis, University of Edinburgh, 1998.; 31J Geoffrey Smith. Polymorphic Type Inference for Languages with Overloading and Sub-typing. PhD thesis, Cornell University, 1991.; [32J Geoffrey Smith. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23:197-226, 1994.; [33J Simon Thompson. Laws in Miranda. In Proceedings of the ACM Conference on Lisp and Functional Programming, pages 1-12, 1986.; [34J Simon Thompson. Lawful functions and program verification in Miranda. Science of Computer Programming, 13(2-3):181-218, 1990.; [35J Simon Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley, 1999. second edition.; [36J Valery Trifonov and Scott Smith. Subtyping Constrained Types. Proc. SAS'96. LAWS 1145, pages 349-365, 1996.; [2] R. Bailey. Functional Programming with Hope. Ellis Horwood, 1990.; 19] Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT; http://hdl.handle.net/20.500.12749/9065; instname:Universidad Autónoma de Bucaramanga UNAB; repourl:https://repository.unab.edu.co

الاتاحة: https://hdl.handle.net/20.500.12749/9065

المؤلفون: Ribeiro, Rodrigo, Camarão, Carlos, Figueiredo, Lucília

المصدر: Journal of the Brazilian Computer Society ; volume 19, issue 4, page 423-432 ; ISSN 0104-6500 1678-4804

الاتاحة: http://dx.doi.org/10.1007/s13173-013-0107-9
https://link.springer.com/content/pdf/10.1007/s13173-013-0107-9.pdf
https://link.springer.com/article/10.1007/s13173-013-0107-9/fulltext.html
http://link.springer.com/content/pdf/10.1007/s13173-013-0107-9

المؤلفون: Ribeiro, Rodrigo, Camarão, Carlos

المصدر: Journal of the Brazilian Computer Society ; volume 19, issue 3, page 313-324 ; ISSN 0104-6500 1678-4804

الاتاحة: http://dx.doi.org/10.1007/s13173-013-0103-0
https://link.springer.com/content/pdf/10.1007/s13173-013-0103-0.pdf
https://link.springer.com/article/10.1007/s13173-013-0103-0/fulltext.html
http://link.springer.com/content/pdf/10.1007/s13173-013-0103-0

المؤلفون: Ribeiro, Rodrigo, Figueiredo, Lucília, Camarão, Carlos

المصدر: Journal of the Brazilian Computer Society ; volume 19, issue 4, page 433-443 ; ISSN 0104-6500 1678-4804

الاتاحة: http://dx.doi.org/10.1007/s13173-013-0119-5
https://link.springer.com/content/pdf/10.1007/s13173-013-0119-5.pdf
https://link.springer.com/article/10.1007/s13173-013-0119-5/fulltext.html
http://link.springer.com/content/pdf/10.1007/s13173-013-0119-5

المؤلفون: Rodrigues, Hermann Oliveira, Camarão, Carlos

مصطلحات موضوعية: Ciencias Informáticas, sistema operativo, PROGRAMMING LANGUAGES, Interactive Interpreter, JEDI, JAVA

وصف الملف: application/pdf

Relation: http://sedici.unlp.edu.ar/handle/10915/23445

الاتاحة: http://sedici.unlp.edu.ar/handle/10915/23445

المؤلفون: Figueiredo, Lucília Camarão de, Camarão, Carlos

مصطلحات موضوعية: Ciencias Informáticas, Languages, informática, Polymorphism, Programming languages, Type inference

وصف الملف: application/pdf

Relation: http://sedici.unlp.edu.ar/handle/10915/23287

الاتاحة: http://sedici.unlp.edu.ar/handle/10915/23287

المؤلفون: Camarão, Carlos, Vasconcellos, Cristiano, Figueiredo, Lucília, Nicola, João

المصدر: JUCS - Journal of Universal Computer Science, 13((6)), 874-890, (2007-06-28)

مصطلحات موضوعية: type system, type inference, constrained polymorphism, closed and open world approaches for overloading

Relation: oai:zenodo.org:6999862

الاتاحة: https://doi.org/10.3217/jucs-013-06-0874

المؤلفون: Vasconcellos, Cristiano, Figueiredo, Lucília, Camarão, Carlos

المصدر: JUCS - Journal of Universal Computer Science, 9((8)), 873-890, (2003-08-28)

مصطلحات موضوعية: programming languages, type inference, polymorphic recursion

Relation: oai:zenodo.org:6996386

الاتاحة: https://doi.org/10.3217/jucs-009-08-0873

المؤلفون: Figueiredo, Lucília, Camarão, Carlos

المصدر: Revista Colombiana de Computación; Vol. 3 No. 1 (2002): Revista Colombiana de Computación (Enero-Junio); 21-40 ; Revista Colombiana de Computación; Vol. 3 Núm. 1 (2002): Revista Colombiana de Computación (Enero-Junio); 21-40 ; 2539-2115 ; 1657-2831

وصف الملف: application/pdf

Relation: https://revistas.unab.edu.co/index.php/rcc/article/view/1106/1078; https://revistas.unab.edu.co/index.php/rcc/article/view/1106

الاتاحة: https://revistas.unab.edu.co/index.php/rcc/article/view/1106

المؤلفون: Camarão, Carlos, Figueiredo, Lucília

المصدر: Electronic Notes in Theoretical Computer Science ; volume 14, page 38-51 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/s1571-0661(05)80228-2
https://api.elsevier.com/content/article/PII:S1571066105802282?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066105802282?httpAccept=text/plain

المؤلفون: Camarão, Carlos, Figueiredo, Lucília

المصدر: Electronic Notes in Theoretical Computer Science ; volume 14, page 52-61 ; ISSN 1571-0661

الاتاحة: http://dx.doi.org/10.1016/s1571-0661(05)80229-4
https://api.elsevier.com/content/article/PII:S1571066105802294?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S1571066105802294?httpAccept=text/plain

المؤلفون: Ribeiro, Rodrigo, Camarão, Carlos

المصدر: Lecture Notes in Computer Science ; Formal Methods: Foundations and Applications ; page 127-141 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319294728 9783319294735

الاتاحة: http://dx.doi.org/10.1007/978-3-319-29473-5_8
http://link.springer.com/content/pdf/10.1007/978-3-319-29473-5_8

المؤلفون: Gelain, Adelaine, Vasconcellos, Cristiano, Camarão, Carlos, Ribeiro, Rodrigo

المصدر: Programming Languages ; Lecture Notes in Computer Science ; page 16-30 ; ISSN 0302-9743 1611-3349 ; ISBN 9783319240114 9783319240121

الاتاحة: http://dx.doi.org/10.1007/978-3-319-24012-1_2
http://link.springer.com/content/pdf/10.1007/978-3-319-24012-1_2

المؤلفون: Camarão, Carlos, Figueiredo, Lucília, Vasconcellos, Cristiano

المصدر: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

الاتاحة: http://dx.doi.org/10.1145/1013963.1013974
https://dl.acm.org/doi/pdf/10.1145/1013963.1013974

المؤلفون: Camarão, Carlos, Figueiredo, Lucília

المصدر: Functional and Logic Programming ; Lecture Notes in Computer Science ; page 37-52 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540666776 9783540479505

الاتاحة: http://dx.doi.org/10.1007/10705424_3
http://link.springer.com/content/pdf/10.1007/10705424_3

المؤلفون: Bigonha, Roberto S., Musicante, Martin A., Pardo, Alberto, Garcia, Alex, Martini, Alfio, Moreira, Álvaro Freitas, De Melo, Ana Cristina Vieira, Du Bois, Andr R., Santos, André, Camarão, Carlos, Rubira, Cecília, Braga, Christiano, Naumann, David, Haeusler, Edward Hermann, De Carvalho-Junior, Francisco Heron, Cafezeiro, Isabel, Palsberg, Jens, Jeuring, Johan, Saraiva, João, Guimarães, José, Labra, Jose, Fiadeiro, Jos Luiz, Figueiredo, Lucília, Barbosa, Luis Soares, Menezes, Luiz Carlos, Maia, Marcelo, De Valente, Marco Túlio Oliveira, Bigonha, Mariza A.S., Benton, Nick, Rodriguez, Noemi, Borba, Paulo, Mosses, Peter D., Lins, Rafael Dueire, Cerqueira, Renato, Lima, Ricardo M., Ierusalimschy, Roberto, Rigo, Sandro, De Schneider, Sérgio Mello, Soares, Sérgio, Dascalu, Sergiu, Thompson, Simon, Vene, Varmo, Costa, Vitor, Iorio, Vladimir Di

المصدر: Bigonha , R S , Musicante , M A , Pardo , A , Garcia , A , Martini , A , Moreira , Á F , De Melo , A C V , Du Bois , A R , Santos , A , Camarão , C , Rubira , C , Braga , C , Naumann , D , Haeusler , E H , De Carvalho-Junior , F H , Cafezeiro , I , Palsberg , J , Jeuring , J , Saraiva , J , Guimarães , J , Labra , J , Fiadeiro , J L ....

مصطلحات موضوعية: /dk/atira/pure/subjectarea/asjc/2600/2614, name=Theoretical Computer Science, /dk/atira/pure/subjectarea/asjc/1700/1700, name=General Computer Science

Relation: https://discovery.dundee.ac.uk/en/publications/2426c196-085a-44d0-9bd5-84e64266f5ae

الاتاحة: https://discovery.dundee.ac.uk/en/publications/2426c196-085a-44d0-9bd5-84e64266f5ae
https://doi.org/10.3217/jucs-013-06
http://www.scopus.com/inward/record.url?scp=34548013342&partnerID=8YFLogxK

المؤلفون: Ribeiro, Rodrigo, Camarão, Carlos, Figueiredo, Lucília, Vasconcellos, Cristiano

المصدر: Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings; 2016, p125-139, 15p