Literatura académica sobre el tema "Inductive types"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Inductive types".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Inductive types"
Kaposi, Ambrus, András Kovács y Thorsten Altenkirch. "Constructing quotient inductive-inductive types". Proceedings of the ACM on Programming Languages 3, POPL (2 de enero de 2019): 1–24. http://dx.doi.org/10.1145/3290315.
Texto completoBarthe, Gilles. "Order-Sorted Inductive Types". Information and Computation 149, n.º 1 (febrero de 1999): 42–76. http://dx.doi.org/10.1006/inco.1998.2751.
Texto completoDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI y MAURIZIO PROIETTI. "Solving Horn Clauses on Inductive Data Types Without Induction". Theory and Practice of Logic Programming 18, n.º 3-4 (julio de 2018): 452–69. http://dx.doi.org/10.1017/s1471068418000157.
Texto completoHoward, Brian T. "Inductive, coinductive, and pointed types". ACM SIGPLAN Notices 31, n.º 6 (15 de junio de 1996): 102–9. http://dx.doi.org/10.1145/232629.232640.
Texto completoLUMSDAINE, PETER LEFANU y MICHAEL SHULMAN. "Semantics of higher inductive types". Mathematical Proceedings of the Cambridge Philosophical Society 169, n.º 1 (17 de junio de 2019): 159–208. http://dx.doi.org/10.1017/s030500411900015x.
Texto completoLoader, Ralph. "Equational theories for inductive types". Annals of Pure and Applied Logic 84, n.º 2 (marzo de 1997): 175–217. http://dx.doi.org/10.1016/s0168-0072(96)00021-8.
Texto completoOGATA, K. y K. FUTATSUGI. "State Machines as Inductive Types". IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E90-A, n.º 12 (1 de diciembre de 2007): 2985–88. http://dx.doi.org/10.1093/ietfec/e90-a.12.2985.
Texto completovan den Berg, Benno. "Inductive types and exact completion". Annals of Pure and Applied Logic 134, n.º 2-3 (julio de 2005): 95–121. http://dx.doi.org/10.1016/j.apal.2004.09.003.
Texto completoABEL, ANDREAS. "Implementing a normalizer using sized heterogeneous types". Journal of Functional Programming 19, n.º 3-4 (julio de 2009): 287–310. http://dx.doi.org/10.1017/s0956796809007266.
Texto completoMatthes, Ralph. "Monotone (co)inductive types and positive fixed-point types". RAIRO - Theoretical Informatics and Applications 33, n.º 4-5 (julio de 1999): 309–28. http://dx.doi.org/10.1051/ita:1999120.
Texto completoTesis sobre el tema "Inductive types"
Bruin, Peter Johan de. "Inductive types in constructive languages". [S.l. : [Groningen] : s.n.] ; [University Library Groningen] [Host], 1995. http://irs.ub.rug.nl/ppn/128570415.
Texto completoGrimley, Allan. "Inductive types in functional programming". Thesis, University of Kent, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253737.
Texto completoKaposi, Ambrus. "Type theory in a type theory with quotient inductive types". Thesis, University of Nottingham, 2017. http://eprints.nottingham.ac.uk/41385/.
Texto completoAltenkirch, Thorsten. "Constructions, inductive types and strong normalization". Thesis, University of Edinburgh, 1993. http://hdl.handle.net/1842/11967.
Texto completoPavaux, Alice. "Inductive, Functional and Non-Linear Types in Ludics". Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCD092.
Texto completoThis thesis investigates the types of ludics. Within the context of the Curry–Howard correspondence,l udics is a framework in which the dynamic aspects of both logic and programming can be studied. The basic objects, called designs, are untyped infinitary proofs that can also beseen as strategies from the perspective of game semantics, and a type or behaviour is a set of designs well-behaved with respect to interaction. We are interested in observing the interactive properties of behaviours. Our attention is particularly focused on behaviours representing the types of data and functions, and on non-linear behaviours which allow the duplication of objects. A new internal completeness result for infinite unions unveils the structure of inductive data types. Thanks to an analysis of the visitable paths, i.e., the possible execution traces, we prove that inductive and functional behaviours are regular, paving the way for a characterisation of MALL in ludics. We also show that a functional behaviour is pure, a property ensuring the safety of typing, if and only if it is not a type of functions taking functions as argument. Finally,we set the bases for a precise study of non-linearity in ludics by recovering a form of internal completeness and discussing the visitable paths
Ko, Hsiang-Shang. "Analysis and synthesis of inductive families". Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:2bc39bde-ce59-4a49-b499-3afdf174bbab.
Texto completoDiehl, Larry. "Fully Generic Programming Over Closed Universes of Inductive-Recursive Types". PDXScholar, 2017. https://pdxscholar.library.pdx.edu/open_access_etds/3647.
Texto completoCiaffaglione, Alberto. "Certified reasoning on real numbers and objects in co-inductive type theory". Vandoeuvre-les-Nancy, INPL, 2003. http://docnum.univ-lorraine.fr/public/INPL_T_2003_CIAFFAGLIONE_A.pdf.
Texto completoWe adopt Formal Methods based on Type Theory for reasoning on the semantics of computer programs: the ultimate goal is to prove that a fragment of software meets its formal specification. Application areas of our research are the Real Numbers datatype and the Object-oriented Languages based on Objects. In the first part we construct the Real Numbers using streams, i. E. Infinite sequences, of signed digits. We implement the Reals in Coq using streams, which are managed using coinductive judgments and corecursive algorithms. Then we introduce a constructive axiomatization and we use it for proving the adequacy of our construction. In the second part we approach Object-based Calculi with side-effects, focusing on Abadi and Cardelli's imp[sigma]. We reformulate imp[sigma] using modern encoding techniques, as Higher-Order Abstract Syntax and Coinductive proof systems in Natural Deduction style. Then we formalize imp[sigma] in Coq and we prove the Type Soundness
Giorgino, Mathieu. "Inductive representation, proofs and refinement of pointer structures". Toulouse 3, 2013. http://thesesups.ups-tlse.fr/2076/.
Texto completoThis thesis stands in the general domain of formal methods that gives semantics to programs to formally prove properties about them. It originally draws its motivation from the need for certification of systems in an industrial context where Model Driven Engineering (MDE) and object-oriented (OO) languages are common. In order to obtain efficient transformations on models (graphs), we can represent them as pointer structures, allowing space and time savings through the sharing of nodes. However verification of properties on programs manipulating pointer structures is still hard. To ease this task, we propose to start the development with a high-level implementation embodied by functional programs manipulating inductive data-structures, that are easily verified in proof assistants such as Isabelle/HOL. Pointer structures are represented by a spanning tree adorned with additional references. These functional programs are then refined - if necessary - to imperative programs thanks to the library Imperative_HOL. These programs are finally extracted to Scala code (OO). This thesis describes this kind of representation and refinement and provides tools to manipulate and prove OO programs in Isabelle/HOL. This approach is put in practice with several examples, and especially with the Schorr-Waite algorithm and the construction of Binary Decision Diagrams (BDDs)
Arkoudas, Kostas. "On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types". Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/39074.
Texto completoLibros sobre el tema "Inductive types"
Morel, Jane B. The effects of mood induction on the recognition memory of word types. Sudbury, Ont: Laurentian University, Department of Psychology, 1990.
Buscar texto completoDeshpande, S. S., of Spectroscopy Division, Bhabha Atomic Research Centre. y Bhabha Atomic Research Centre, eds. Determination of alloying and impurity elements in various types of steels using inductively coupled plasma atomic emission spectrometry. Mumbai: Bhabha Atomic Research Centre, 2002.
Buscar texto completoTickle, Les. Teacher induction: The way ahead. Buckingham: Open University Press, 2000.
Buscar texto completoTeacher induction: The way ahead. Buckingham: Open University Press, 2000.
Buscar texto completoBeck, Caroline W. Investigation of the effect of Wild Type and Mutant NF-kB related proteins on mesoderm induction in Xenopus. [s.l.]: typescript, 1996.
Buscar texto completoMaznev, Aleksandr y Oleg Shatnev. Electric apparatus and circuits of rolling stock. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1014641.
Texto completoKuhler, Ulirich. Tacti-Based Inductive Theorem Prover for Data Types With Partial Operations. Ios Pr Inc, 2000.
Buscar texto completoAndreasen, Robin y Heather Doty. Measuring Inequality. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190467715.003.0007.
Texto completoShulman, Michael. Homotopy Type Theory: A Synthetic Approach to Higher Equalities. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0003.
Texto completoType CCL polyphase induction motors. [Hamilton, Ont.?: s.n., 1991.
Buscar texto completoCapítulos de libros sobre el tema "Inductive types"
Turner, Raymond. "Inductive Types". En Computable Models, 1–9. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-052-4_15.
Texto completoAltenkirch, Thorsten, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus y Fredrik Nordvall Forsberg. "Quotient Inductive-Inductive Types". En Lecture Notes in Computer Science, 293–310. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-89366-2_16.
Texto completoBertot, Yves y Pierre Castéran. "Inductive Data Types". En Texts in Theoretical Computer Science An EATCS Series, 137–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07964-5_6.
Texto completoHugunin, Jasper. "Constructing Inductive-Inductive Types in Cubical Type Theory". En Lecture Notes in Computer Science, 295–312. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-17127-8_17.
Texto completoBertot, Yves y Pierre Castéran. "** Foundations of Inductive Types". En Texts in Theoretical Computer Science An EATCS Series, 377–406. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07964-5_14.
Texto completoFiore, Marcelo P., Andrew M. Pitts y S. C. Steenkamp. "Constructing Infinitary Quotient-Inductive Types". En Lecture Notes in Computer Science, 257–76. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_14.
Texto completoAbbott, Michael, Thorsten Altenkirch y Neil Ghani. "Representing Nested Inductive Types Using W-Types". En Automata, Languages and Programming, 59–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27836-8_8.
Texto completoVoermans, Ed. "Pers as Types, Inductive Types and Types with Laws". En Declarative Programming, Sasbachwalden 1991, 274–91. London: Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8_18.
Texto completoCapretta, Venanzio. "Recursive Families of Inductive Types". En Lecture Notes in Computer Science, 73–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-44659-1_5.
Texto completoBarzdins, G. "Inductive synthesis of encoding for algebraic abstract data types". En Analogical and Inductive Inference, 328–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51734-0_72.
Texto completoActas de conferencias sobre el tema "Inductive types"
Awodey, Steve, Nicola Gambino y Kristina Sojakova. "Inductive Types in Homotopy Type Theory". En 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012). IEEE, 2012. http://dx.doi.org/10.1109/lics.2012.21.
Texto completoKovács, András y Ambrus Kaposi. "Large and Infinitary Quotient Inductive-Inductive Types". En LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3373718.3394770.
Texto completoAltenkirch, Thorsten y Ambrus Kaposi. "Type theory in type theory using quotient inductive types". En POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2837614.2837638.
Texto completoCoquand, Thierry, Simon Huber y Anders Mörtberg. "On Higher Inductive Types in Cubical Type Theory". En LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3209108.3209197.
Texto completoHoward, Brian T. "Inductive, coinductive, and pointed types". En the first ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 1996. http://dx.doi.org/10.1145/232627.232640.
Texto completoBasold, Henning y Herman Geuvers. "Type Theory based on Dependent Inductive and Coinductive Types". En LICS '16: 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2933575.2934514.
Texto completoAwodey, Steve, Jonas Frey y Sam Speight. "Impredicative Encodings of (Higher) Inductive Types". En LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3209108.3209130.
Texto completoFilinski, Andrzej y Kristian Støvring. "Inductive reasoning about effectful data types". En the 2007 ACM SIGPLAN international conference. New York, New York, USA: ACM Press, 2007. http://dx.doi.org/10.1145/1291151.1291168.
Texto completoBarthe, Gilles y Tarmo Uustalu. "CPS translating inductive and coinductive types". En the 2002 ACM SIGPLAN workshop. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/503032.503043.
Texto completoKraus, Nicolai y Jakob von Raumer. "Path Spaces of Higher Inductive Types in Homotopy Type Theory". En 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2019. http://dx.doi.org/10.1109/lics.2019.8785661.
Texto completoInformes sobre el tema "Inductive types"
Greiner, John. Programming with Inductive and Co-Inductive Types. Fort Belvoir, VA: Defense Technical Information Center, enero de 1992. http://dx.doi.org/10.21236/ada249562.
Texto completoDiehl, Larry. Fully Generic Programming Over Closed Universes of Inductive-Recursive Types. Portland State University Library, enero de 2000. http://dx.doi.org/10.15760/etd.5531.
Texto completoYilma, Tilahun D. Induction or Type 1 Immune Responses to SIV by IFN-Gamma. Fort Belvoir, VA: Defense Technical Information Center, mayo de 1999. http://dx.doi.org/10.21236/ada371068.
Texto completoBoyle, D. R. y D. C. Gregoire. 107Ag /109Ag Ratios of minerals From Various Types of Ore-Forming Environments using Inductively Coupled Mass Spectrometry. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1989. http://dx.doi.org/10.4095/127517.
Texto completoDahal, Sachindra y Jeffery Roesler. Passive Sensing of Electromagnetic Signature of Roadway Material for Lateral Positioning of Vehicle. Illinois Center for Transportation, noviembre de 2021. http://dx.doi.org/10.36501/0197-9191/21-039.
Texto completoCoplin, David, Isaac Barash y Shulamit Manulis. Role of Proteins Secreted by the Hrp-Pathways of Erwinia stewartii and E. herbicola pv. gypsophilae in Eliciting Water-Soaking Symptoms and Initiating Galls. United States Department of Agriculture, junio de 2001. http://dx.doi.org/10.32747/2001.7580675.bard.
Texto completoWilson, Thomas E., Avraham A. Levy y Tzvi Tzfira. Controlling Early Stages of DNA Repair for Gene-targeting Enhancement in Plants. United States Department of Agriculture, marzo de 2012. http://dx.doi.org/10.32747/2012.7697124.bard.
Texto completoParadis, S., S. E. Jackson, D. Petts, G. J. Simandl, R. J. D'Souza y T S Hamilton. Distribution of trace elements in pyrite from carbonate-hosted sulfide deposits of southern British Columbia. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/328002.
Texto completoNewton, Ronald, Joseph Riov y John Cairney. Isolation and Functional Analysis of Drought-Induced Genes in Pinus. United States Department of Agriculture, septiembre de 1993. http://dx.doi.org/10.32747/1993.7568752.bard.
Texto completoEshed, Yuval y John Bowman. Harnessing Fine Scale Tuning of Endogenous Plant Regulatory Processes for Manipulation of Organ Growth. United States Department of Agriculture, 2005. http://dx.doi.org/10.32747/2005.7696519.bard.
Texto completo