Einloggen

Thematische Bibliographien / Polymorphic / Dissertationen

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Polymorphic.

Dissertationen zum Thema „Polymorphic“

Autor: Grafiati

Veröffentlicht am 4. Juni 2021

Zuletzt aktualisiert am 25. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Polymorphic" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Alvin, Yeoh Chong Yeow. "Nucleation of polymorphic forms." Thesis, University of Manchester, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.498979.

Der volle Inhalt der Quelle

Annotation:

In this PhD project, the solvent effects on polymorphism were studied. This was done using an enantiotropic compound. By working at the transition temperature of the compound, it allowed for the separation of supersaturation effects from that of the solvent. p-Aminobenzoic acid was chosen as the model compound. p-Aminobenzoic acid (PABA) is an enantiotropic compound with a transitior temperature of 24°C. It has two polymorphs, a needle shaped α-form which is stable above the transition temperature and a prismatic shaped β-form stable below the transition temperature.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Wansbrough, Keith Stuart. "Simple polymorphic usage analysis." Thesis, University of Cambridge, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.619586.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Yang, Jun. "Improving polymorphic type explanations." Thesis, Heriot-Watt University, 2001. http://hdl.handle.net/10399/509.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Towler, Christopher. "Nucleation in polymorphic systems." Thesis, University of Manchester, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.520283.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Mathieson, John T. J. "Towards Polymorphic Systems Engineering." Thesis, The George Washington University, 2021. http://pqdtopen.proquest.com/#viewpdf?dispub=28257912.

Der volle Inhalt der Quelle

Annotation:

Systems engineering is widely regarded as a full life cycle discipline and provides methodologies and processes to support the design, development, verification, sustainment, and disposal of systems. While this cradle-to-grave concept is well documented throughout literature, there has been recent and ever-increasing emphasis on evolving and digitally transforming systems engineering methodologies, practices, and tools to a model-based discipline, not only for advancing system development, but perhaps more importantly for extending agility and adaptability through the later stages of system li

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Strege, Christine. "On (pseudo- ) polymorphic phase transformations." [S.l. : s.n.], 2004. http://deposit.ddb.de/cgi-bin/dokserv?idn=974120006.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Dharmayat, Spoorthi. "Polymorphic transformation of pharmaceutical compounds." Thesis, University of Leeds, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.507688.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Pantazis, Dimitrios A. "Electronic structure of polymorphic complexes." Thesis, University of York, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.440979.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

MacSweeney, Siobhan. "An examination of the polymorphic and pseudo-polymorphic behaviour of fluconazole in relation to processing conditions." Thesis, Heriot-Watt University, 1999. http://hdl.handle.net/10399/1253.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Schonhoft, Joseph. "Biochemical and Biophysical Study of the Polymorphic G-Quadruplexes Formed by the Insulin Linked Polymorphic Region." Kent State University / OhioLINK, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=kent1248116483.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Bonem, Peter Bryant. "Towards an implementation of Polymorphic C." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1995. http://handle.dtic.mil/100.2/ADA305190.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Laverman, Bert. "Supporting software reusability with polymorphic types." [S.l. : [Groningen] : s.n.] ; [University Library Groningen] [Host], 1995. http://irs.ub.rug.nl/ppn/137162723.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Tofte, Mads. "Operational semantics and polymorphic type inference." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/6606.

Der volle Inhalt der Quelle

Annotation:

Three languages with polymorphic type disciplines are discussed, namely the λ-calculus with Milner's polymorphic type discipline; a language with imperative features (polymorphic references); and a skeletal module language with structures, signatures and functors. In each of the two first cases we show that the type inference system is consistent with an operational dynamic semantics. On the module level, polymorphic types correspond to signatures. There is a notion of principal signature. So-called signature checking is the module level equivalent of type checking. In particular, there exists

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Chattaway, John Antony. "Characterising the polymorphic BG gene family." Thesis, University of Cambridge, 2014. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.707953.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Fraley, James B. "Improved Detection for Advanced Polymorphic Malware." NSUWorks, 2017. http://nsuworks.nova.edu/gscis_etd/1008.

Der volle Inhalt der Quelle

Annotation:

Malicious Software (malware) attacks across the internet are increasing at an alarming rate. Cyber-attacks have become increasingly more sophisticated and targeted. These targeted attacks are aimed at compromising networks, stealing personal financial information and removing sensitive data or disrupting operations. Current malware detection approaches work well for previously known signatures. However, malware developers utilize techniques to mutate and change software properties (signatures) to avoid and evade detection. Polymorphic malware is practically undetectable with signature-based de

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Chin, Ling Tsui. "Polymorphic light eruption-prevalence, physchosocial impact, treatment." Thesis, University of Manchester, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.499920.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Gray, Ian Christopher. "Polymorphic tandemly repeated sequences in human DNA." Thesis, University of Leicester, 1991. http://hdl.handle.net/2381/34415.

Der volle Inhalt der Quelle

Annotation:

Tandemly repeated tracts of DNA are a ubiquitous feature of eukaryote genomes. One class of tandem repeats, 'minisatellites', have been shown to be highly variable both in overall length and in the internal arrangement of variant versions of the repeating unit along the array. Consequently, both length and internal variation at these loci can be exploited to generate individual-specific profiles of use in forensic science and the establishment of family relationships. Recently it has been demonstrated that short dinucleotide repeats, or 'microsatellites', and other simple tandem repeat arrays

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Turner, David N. "The polymorphic Pi-calculus : theory and implementation." Thesis, University of Edinburgh, 1996. http://hdl.handle.net/1842/395.

Der volle Inhalt der Quelle

Annotation:

We investigate whether the Pi-calculus is able to serve as a good foundation for the design and implementation of a strongly-typed concurrent programming language. The first half of the dissertation examines whether the Pi-calculus supports a simple type system which is flexible enough to provide a suitable foundation for the type system of a concurrent programming language. The second half of the dissertation considers how to implement the Pi-calculus efficiently, starting with an abstract machine for Pi-calculus and finally presenting a compilation of Pi-calculus to C. We start the dissertat

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Fenton, Brian Forbes Neil. "Studies on polymorphic proteins of Plasmodium falciparum." Thesis, University of Edinburgh, 1987. http://hdl.handle.net/1842/14835.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Parambil, Jose Varghese. "Template induced polymorphic selectivity in pharmaceutical crystallisation." Thesis, Imperial College London, 2015. http://hdl.handle.net/10044/1/27651.

Der volle Inhalt der Quelle

Annotation:

Polymorphism in pharmaceutical drug crystals causes differences in their bioavailability, stability and processability. Hence, identifying different crystal polymorphs of an active ingredient during the early stages of drug development and controlling crystal polymorphism during the manufacturing process are important aspects of pharmaceutical crystallisation. Nucleation and growth of different polymorphs in a crystallising solution are regulated by a delicate balance between thermodynamic and kinetic factors. Crystal nucleation predominantly occurs via heterogeneous nucleation pathway as it i

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Lee, Rachael. "Extreme conditions crystallography of polymorphic co-crystals." Thesis, Durham University, 2017. http://etheses.dur.ac.uk/12065/.

Der volle Inhalt der Quelle

Annotation:

This work has two principal sections. The first section is a study of the hydrogen bonding in a series of urea inclusion compounds, utilising neutron diffraction methods and a novel technique for growing neutron diffraction-suitable single crystals. The second section focusses on high pressure crystallography as a technique for exploring polymorphic landscapes, of a series of acid-base co-crystals, and the well-known active pharmaceutical ingredient 5-methyl-2-[(2-nitrophenyl)amino]-3-thiophenecarbonitrile (ROY). Single crystal neutron structures at several temperatures have been determined fo

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Petrucciani, Tommaso. "Polymorphic set-theoretic types for functional languages." Thesis, Sorbonne Paris Cité, 2019. http://www.theses.fr/2019USPCC067.

Der volle Inhalt der Quelle

Annotation:

Cette thèse porte sur l'étude des types ensemblistes : des types qui contiennent des connecteurs d'union, d'intersection et de négation. Les types ensemblistes permettent de typer de manière très précise plusieurs constructions des langages de programmation (comme par exemple les branches conditionnelles, le filtrage par motif et la surcharge des fonctions) lorsqu'ils sont utilisés avec une notion appropriée de sous-typage. Pour définir celle-ci, nous utilisons l'approche du sous-typage sémantique, dans laquelle les types sont interprétés comme des ensembles, et où le sous-typage est défini co

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Flannery, Kevin E. "Conjunctive polymorphic type checking with explicit types." Diss., Virginia Polytechnic Institute and State University, 1989. http://hdl.handle.net/10919/54527.

Der volle Inhalt der Quelle

Annotation:

An expressive type language and the ability to do compile-time type inference are desirable goals in language design, but the attainment of the former may preclude the possibility of the latter. Specifically, the type conjunction operator (type intersection) induces a rich type language at the expense of decidability of the typeable expressions. Two extreme alternatives to this dilemma are to abandon type inference (and force the programmer to, essentially, supply a derivation for his type claims) or to abandon (or restrict) type conjunction. This work presents a third alternative in which the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Schmid, Balthasar. "Polymorphic O-demethylation of dextrometorphan in man /." Bern, 1985. http://www.ub.unibe.ch/content/bibliotheken_sammlungen/sondersammlungen/dissen_bestellformular/index_ger.html.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

PETRUCCIANI, TOMMASO. "Polymorphic set-theoretic types for functional languages." Doctoral thesis, Università degli studi di Genova, 2019. http://hdl.handle.net/11567/941642.

Der volle Inhalt der Quelle

Annotation:

We study set-theoretic types: types that include union, intersection, and negation connectives. Set-theoretic types, coupled with a suitable subtyping relation, are useful to type several programming language constructs – including conditional branching, pattern matching, and function overloading – very precisely. We define subtyping following the semantic subtyping approach, which interprets types as sets and defines subtyping as set inclusion. Our set-theoretic types are polymorphic, that is, they contain type variables to allow parametric polymorphism. We extend previous work on set-theoret

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Jones, Carys Wynn. "Habitat and rest site selection in polymorphic Lepidoptera." Thesis, University of Cambridge, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358332.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Clark, Rebecca. "The evolutionary genetics of polymorphic butterfly wing patterns." Thesis, Imperial College London, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428582.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Zhang, Qingfei. "Crystallographic studies of the insulin-linked polymorphic region." Thesis, Massachusetts Institute of Technology, 1997. http://hdl.handle.net/1721.1/50345.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Gunther, William J. "Some Results on Classical Semantics and Polymorphic Types." Research Showcase @ CMU, 2015. http://repository.cmu.edu/dissertations/645.

Der volle Inhalt der Quelle

Annotation:

In the first chapter we consider the simply typed-calculus over one ground type with a discriminator which distinguishes terms, augmented additionally with an existential quantifier and a description operator, all of lowest type.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Thompson, Gregory B. "Predicting Polymorphic Phase Stability in Multilayered Thin Films." The Ohio State University, 2003. http://rave.ohiolink.edu/etdc/view?acc_num=osu1046469309.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Pond, Emma. "Characterisation of tight junctions in polymorphic light eruption." Thesis, University of Manchester, 2016. https://www.research.manchester.ac.uk/portal/en/theses/characterisation-of-tight-junctions-in-polymorphic-light-eruption(8d043c3d-7f97-41e1-9b87-9523c5b639d6).html.

Der volle Inhalt der Quelle

Annotation:

Polymorphic light eruption (PLE) is the most common photodermatosis, affecting ~17% of the population. PLE is a delayed-type hypersensitivity response to an antigen induced by solar ultra-violet radiation (UVR). Its effects vary between patients, but the main symptom is a non-scarring, red papular rash in areas exposed to UVR. An effective therapy is low dose ultra-violet B (NBUVB) phototherapy. It is thought that NBUVB phototherapy desensitises the skin to further UVR exposure, but the mechanism by which this happens is unknown. Current immune based studies have been unable to clarify a mecha

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Oliva, Pavia Meritxell. "Functional impact of polymorphic inversions in the human genome." Doctoral thesis, Universitat Autònoma de Barcelona, 2014. http://hdl.handle.net/10803/286269.

Der volle Inhalt der Quelle

Annotation:

Una inversió és una reordenació genòmica que altera l'orientació d'una seqüència genòmica específica. Les inversions són reordenaments balancejats i no impliquen necessàriament un guany o pèrdua d'ADN, però tot i així poden alterar el contingut genètic original i causar-hi mutacions. A més, les inversions poden modificar els patrons de recombinació d’ADN tan de la seqüència genòmica continguda en la inversió com també en regions flanquejants. Conseqüentment, les inversions poden estar associades a certs fenotips o malalties, influir en l’evolució dels individus portadors a través de processos

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Williams, Ceili. "Structure/property relationships in a polymorphic nonlinear optical crystal." Thesis, University of Oxford, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.314895.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Morgan-Warren, Robert James. "Structural and biophysical differences between polymorphic ovine PrP proteins." Thesis, University of Cambridge, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.614732.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Hannay, Jo E. "Abstraction barriers and refinement in the polymorphic lambda calculus." Thesis, University of Edinburgh, 2001. http://hdl.handle.net/1842/801.

Der volle Inhalt der Quelle

Annotation:

This thesis examines specification refinement in the setting of polymorphic type theory and a complementary logic for relational parametricity. The starting point is the specification of abstract data types as done in the discipline of algebraic specification. Here, algebras are seen to match the standard notion of data type, i.e., a data representation together with operations on that data representation. An abstract data type is then a collection of data types sharing some well-defined abstract properties. In algebraic specification, these properties are specified algebraically by axioms in

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Larsen, Graeme D. "A polymorphic framework for understanding the diffusion of innovations." Thesis, University of Reading, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.424037.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

De, Aguiar J. C. S. "Studies on the polymorphic schizont antigen of Plasmodium chabaudi." Thesis, Open University, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.383640.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Millard, Thomas Paul. "Genetics of cutaneous lupus erythematosus and polymorphic light eruption." Thesis, King's College London (University of London), 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.271287.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Goulart, V. D. L. R. "Investigations of polymorphic colour vision in new world primates." Thesis, University of Salford, 2017. http://usir.salford.ac.uk/43613/.

Der volle Inhalt der Quelle

Annotation:

Primate colour vision in New World primates is intriguingly complex; show a polymorphism where males are obligatory dichromats (i.e. perception similar to colour-blind humans that cannot differentiate red from green) Females can be either dichromats or trichromats (vision similar to normal humans). The role of such polymorphism remains unclear; however, two often tested hypotheses are related to predator detection and the locating of specific food resources. Here we investigated behavioural changes in male and female primates relating to the colour vision phenotypes and niche divergence as an

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Fierling, Julien. "Polymorphic bio-filaments and their interaction with biological membranes." Thesis, Strasbourg, 2016. http://www.theses.fr/2016STRAE015/document.

Der volle Inhalt der Quelle

Annotation:

Cette thèse développe, dans le cadre de la biophysique, des modèles théoriques centrés sur les interactions entre les bio-filaments, de longs polymères présents dans les cellules biologiques et les membranes biologiques, qui protègent les cellules de leur environnement. La thèse est divisée en trois parties, traitant différents systèmes. Dans un premier temps, un modèle admettant plusieurs états de courbure préférée des bio-filaments est développé. Ce type de filaments est forcé à former un anneau et leur interaction avec des membranes tubulaires qu'ils enlacent est discutée. Deuxièmement, les

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Woodburn, Mary Alice. "Random amplified polymorphic DNA (RAPD) analysis of Bacillus sphaericus." Thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-07102009-040429/.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Price, Jared Calvin. "The Bioluminescence Heterozygous Genome Assembler." BYU ScholarsArchive, 2014. https://scholarsarchive.byu.edu/etd/4346.

Der volle Inhalt der Quelle

Annotation:

High-throughput DNA sequencing technologies are currently revolutionizing the fields of biology and medicine by elucidating the structure and function of the components of life. Modern DNA sequencing machines typically produce relatively short reads of DNA which are then assembled by software in an attempt to produce a representation of the entire genome. Due to the complex structure of all but the smallest genomes, especially the abundant presence of exact or almost exact repeats, all genome assemblers introduce errors into the final sequence and output a relatively large set of contigs inste

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Özgen, Mustafa. "A type inference algorithm and transition semantics for polymorphic C /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1996. http://handle.dtic.mil/100.2/ADA318845.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S. in Computer Science) Naval Postgraduate School, September 1996.<br>Thesis advisor(s): Dennis Volpano. "September 1996." Includes bibliographical references (p. 111-112). Also available online.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Papadopoulos, Sarantos. "Untersuchungen genomischer Veränderungen von Mammakarzinomzellen mittels Random amplified polymorphic DNA." [S.l.] : [s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=962689114.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Johansson, Börje. "An implementation of Milner's CCS with a polymorphic type system." Licentiate thesis, Luleå tekniska universitet, EISLAB, 1996. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-18530.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Brunet, Sylvain. "Mechanism of drug-induced torsade de pointes polymorphic ventricular tachycardia." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape10/PQDD_0006/NQ44373.pdf.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

Jalai, Gholam Reza. "Study of polymorphic human trophoblast antigen bound to maternal antibody." Thesis, Imperial College London, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.300780.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Özgen, Mustafa. "A type inference algorithm and transition semantics for polymorphic C." Thesis, Monterey, California. Naval Postgraduate School, 1996. http://hdl.handle.net/10945/9097.

Der volle Inhalt der Quelle

Annotation:

Approved for public release; distribution is unlimited.<br>In an attempt to bring the ML-style type inference to the C programming language, Smith and Volpano developed a type system for a dialect of C, called PolyC SmV96a SmV95b. PolyC extends C with ML-style polymorphism and a limited form of higher-order function. Smith and Volpano proved a type soundness theorem that basically says that evaluation of a well-typed PolyC program cannot fail due to a type mismatch. The type soundness proof is based on an operational characterization of a special kind of semantic formulation called a natural s

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

張艷馨 and Yim-hing Cheung. "Rare types and polymorphic variants of HPV in Hong Kong." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2002. http://hub.hku.hk/bib/B31970448.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

Fuentes, Hernandez Ayari. "Metabolic cooperation and the polymorphic secretion of invertase in yeast." Thesis, University of Bath, 2012. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.557822.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!