-
1كتاب إلكتروني
المؤلفون: Gelain, AdelaineAff15, Vasconcellos, CristianoAff15, Camarão, CarlosAff16, Ribeiro, RodrigoAff17
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Pardo, Alberto, editorAff13, Swierstra, S. Doaitse, editorAff14
المصدر: Programming Languages : 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings. 9325:16-30
-
2كتاب إلكتروني
المؤلفون: Allen, EricAff3, Cartwright, RobertAff3, Stoler, BrianAff3
المساهمون: Gibbons, Jeremy, editorAff1, Jeuring, Johan, editorAff2
المصدر: Generic Programming : IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany. 115:207-236
-
3
المؤلفون: 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 -
4
المؤلفون: 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
-
5
المؤلفون: 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 -
6
المؤلفون: 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 -
7
المؤلفون: 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 -
8دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
9
المؤلفون: 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 -
10
المصدر: 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