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

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Pardo, Alberto, editor^Aff13, Swierstra, S. Doaitse, editor^Aff14

المصدر: Programming Languages : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings. 9325:16-30

المؤلفون: Allen, Eric^Aff3, Cartwright, Robert^Aff3, Stoler, Brian^Aff3

المساهمون: Gibbons, Jeremy, editor^Aff1, Jeuring, Johan, editor^Aff2

المصدر: Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany. 115:207-236

المؤلفون: Oleg Kiselyov, Jeremy Yallop

المصدر: PEPM@POPL

مصطلحات موضوعية: Recursion, Finite-state machine, Parsing, multi-stage programming, Programming language, Computer science, fixed points, Initialization, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Construct (python library), computer.software_genre, 01 natural sciences, Metaprogramming, Mutual recursion, Polymorphic recursion, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, metaprogramming, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33028477c5dae686a413edc4e668a691
https://doi.org/10.1145/3294032.3294078

المؤلفون: Axel Simon

المصدر: Science of Computer Programming. 95:254-271

مصطلحات موضوعية: Theoretical computer science, Recursive data type, Computer science, Inference, Type inference, Abstract interpretation, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Program analysis, Denotational semantics, Polymorphic recursion, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Completeness (order theory), Computer Science::Programming Languages, Algorithm, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b48428480eb75d89711cde7b98b4d391
https://doi.org/10.1016/j.scico.2014.03.005

المؤلفون: Emmanuel Chailloux, Michel Mauny, Grégoire Henry

المساهمون: Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Typed programming, modularity and compilation (CRISTAL), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Algorithmique, Langage et Information (ALI), Unité de Mathématiques Appliquées (UMA), École Nationale Supérieure de Techniques Avancées (ENSTA Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Systèmes Polynomiaux, Implantation, Résolution Algébrique (SPIRAL), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Henry, Grégoire

المصدر: Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2007, 26 (9), pp.1067-1090
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, 2007, 26 (9), pp.1067-1090

مصطلحات موضوعية: Correctness, Theoretical computer science, Computer science, static typing, 02 engineering and technology, computer.software_genre, unmarshalling, Marshalling, Polymorphic recursion, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Functional programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], OCaml, Programming language, Singleton, ML, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Type theory, Type checking, 020201 artificial intelligence & image processing, polymorphic recursion, Rewriting, computer, antiunification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a2f901817274ff3664b66d8e16673dab
https://doi.org/10.3166/tsi.26.1067-1090

المؤلفون: Ralf Hinze

المصدر: POPL

مصطلحات موضوعية: Parametric polymorphism, Recursive data type, Computer science, Programming language, Type inference, computer.software_genre, Type family, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Polymorphic recursion, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Algebraic data type, Computer Science::Programming Languages, Haskell, Software_PROGRAMMINGLANGUAGES, computer, Type constructor, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c0d017852b409d3e4d0a1010aa0a915
https://doi.org/10.1145/325694.325709

المؤلفون: Ralf Hinze

مصطلحات موضوعية: Scheme (programming language), Structure (mathematical logic), Theoretical computer science, Programming language, Computer science, Search engine indexing, Context (language use), computer.software_genre, Search tree, Polymorphic recursion, Trie, Programming paradigm, computer, Software, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0b8c149f68ef0bff9fe400d6918a774
https://doi.org/10.1017/s0956796800003713

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Ferruccio Damiani, Makoto Tatsuta

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 54, Iss Proc. GandALF 2011, Pp 102-115 (2011)
GandALF

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, lcsh:QA75.5-76.95, Type inference algorithms, Polymorphic recursion, computer.programming_language, Lambda calculus, Functional programming, Recursion, Computer Science - Programming Languages, lcsh:Mathematics, Type inference, Function (mathematics), lcsh:QA1-939, Logic in Computer Science (cs.LO), Undecidable problem, Decidability, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, F.3.3, lcsh:Electronic computers. Computer science, computer, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70ef9ebe18c52fa51c6223a94cee507c
https://doaj.org/article/5ca9a8e1a35f4ab9bd34ff573f138323

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

المصدر: Programming Languages ISBN: 9783319240114
SBLP

مصطلحات موضوعية: Polymorphic recursion, Theoretical computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Algebraic data type, Inference, Type inference, Haskell, Anti-unification, Type (model theory), computer, Mathematics, Argument of a function, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::45e18a19c345252b1babcc192a3c4c41
https://doi.org/10.1007/978-3-319-24012-1_2