Relevant bibliographies by topics / Type and effect systems

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Type and effect systems'

Author: Grafiati
Published: 4 June 2021
Last updated: 19 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Type and effect systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Type and effect systems"

1

Nielson, Flemming. "Annotated type and effect systems." ACM Computing Surveys 28, no. 2 (June 1996): 344–45. http://dx.doi.org/10.1145/234528.234745.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Seghier, Zoubida, Ambroise Diby, Vanda Voytekunas, Philip Cheang, and Marc J. M. Abadie. "Effect of filler type, content and size on the UV photocuring dental materials." Chemistry & Chemical Technology 2, no. 1 (March 15, 2008): 15–18. http://dx.doi.org/10.23939/chcht02.01.015.

Full text
Abstract:
A BisGMA, TEGDMA monomer mixture at weight ration 2:1 was UV-cured with CQ to form commonly used dental materials. Three types of fillers at different particle size were added at different weight concentrations. Reaction rates k, time vs rate were studied for all the systems.
APA, Harvard, Vancouver, ISO, and other styles
3

Galletta, Letterio. "An Abstract Interpretation Framework for Type and Effect Systems." Fundamenta Informaticae 134, no. 3-4 (2014): 355–93. http://dx.doi.org/10.3233/fi-2014-1106.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Hage, Jurriaan, and Bastiaan Heeren. "Strategies for Solving Constraints in Type and Effect Systems." Electronic Notes in Theoretical Computer Science 236 (April 2009): 163–83. http://dx.doi.org/10.1016/j.entcs.2009.03.021.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Levy, P. M., and A. Fert. "Effect of crystal fields on the Hall effect in Kondo-type systems." Physical Review B 39, no. 16 (June 1, 1989): 12224–31. http://dx.doi.org/10.1103/physrevb.39.12224.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Aminifar, Sadegh, and Arjuna Marzuki. "Uncertainty in Interval Type-2 Fuzzy Systems." Mathematical Problems in Engineering 2013 (2013): 1–16. http://dx.doi.org/10.1155/2013/452780.

Full text
Abstract:
This paper studies uncertainty and its effect on system response displacement. The paper also describes how IT2MFs (interval type-2 membership functions) differentiate from T1MFs (type-1 membership functions) by adding uncertainty. The effect of uncertainty is modeled clearly by introducing a technique that describes how uncertainty causes membership degree reduction and changing the fuzzy word meanings in fuzzy logic controllers (FLCs). Several criteria are discussed for the measurement of the imbalance rate of internal uncertainty and its effect on system behavior. Uncertainty removal is int
APA, Harvard, Vancouver, ISO, and other styles
7

Gordon, Colin S. "Polymorphic Iterable Sequential Effect Systems." ACM Transactions on Programming Languages and Systems 43, no. 1 (April 2021): 1–79. http://dx.doi.org/10.1145/3450272.

Full text
Abstract:
Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of effects is irrelevant. Understanding such systems in terms of a semilattice of effects grounds understanding of the essential issues and provides guidance when designing new effect systems. By contrast, sequential effect systems—where the order of effects is important—lack an established algebraic structure on effects. We present an abstract polymorphic effe
APA, Harvard, Vancouver, ISO, and other styles
8

Belyaev, M., and V. Tsesko. "LLVM-based static analysis tool using type and effect systems." Automatic Control and Computer Sciences 46, no. 7 (December 2012): 324–30. http://dx.doi.org/10.3103/s0146411612070073.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Himelrick, David G., W. A. Dozier Jr, and J. R. Akridge. "EFFECT OF MULCH TYPE IN ANNUAL HILL STRAWBERRY PLASTICULTURE SYSTEMS." Acta Horticulturae, no. 348 (August 1993): 207–12. http://dx.doi.org/10.17660/actahortic.1993.348.32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zyuzin, Nikita, and Aleksandar Nanevski. "Contextual modal types for algebraic effects and handlers." Proceedings of the ACM on Programming Languages 5, ICFP (August 22, 2021): 1–29. http://dx.doi.org/10.1145/3473580.

Full text
Abstract:
Programming languages with algebraic effects often track the computations’ effects using type-and-effect systems. In this paper, we propose to view an algebraic effect theory of a computation as a variable context; consequently, we propose to track algebraic effects of a computation with contextual modal types . We develop ECMTT, a novel calculus which tracks algebraic effects by a contextualized variant of the modal □ (necessity) operator, that it inherits from Contextual Modal Type Theory (CMTT). Whereas type-and-effect systems add effect annotations on top of a prior programming language, t
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Type and effect systems"

1

Kammar, Ohad. "Algebraic theory of type-and-effect systems." Thesis, University of Edinburgh, 2014. http://hdl.handle.net/1842/8910.

Full text
Abstract:
We present a general semantic account of Gifford-style type-and-effect systems. These type systems provide lightweight static analyses annotating program phrases with the sets of possible computational effects they may cause, such as memory access and modification, exception raising, and non-deterministic choice. The analyses are used, for example, to justify the program transformations typically used in optimising compilers, such as code reordering and inlining. Despite their existence for over two decades, there is no prior comprehensive theory of type-and-effect systems accounting for their
APA, Harvard, Vancouver, ISO, and other styles
2

Bañados, Schwerter Felipe Andrés. "Gradual typing for generic type-and-effect systems." Tesis, Universidad de Chile, 2014. http://www.repositorio.uchile.cl/handle/2250/116891.

Full text
Abstract:
Magíster en Ciencias, Mención Computación<br>Los sistemas de tipos-y-efectos (type-and-effect systems) permiten a los programadores hacer valer invariantes y restricciones sobre los efectos secundarios que se generan durante la evaluación de un programa. Los sistemas de tipos-y-efectos consideran efectos secundarios tales como estado, excepciones y E/S, entre otros. Desafortunadamente, los sistemas de tipos-y-efectos también obligan al programador a introducir anotaciones de efectos, lo que implica un esfuerzo adicional. En la práctica, los sistemas de tipos-y-efectos no son comúnmente usados.
APA, Harvard, Vancouver, ISO, and other styles
3

Elsaidi, Abdulsalam. "Photovoltaic (PV) type solar generators and their effect on distribution systems." Thesis, University of Missouri - Kansas City, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=1544928.

Full text
Abstract:
<p> Distribution systems are designed to operate in radial mode (the simplest system topology) without any generation on the system, unidirectional power flow from the distribution substation to the customers via main feeder(s) and its(their) laterals within a specified range of operating points. The rapid growth of PV module installations on the distribution systems could not only offset the load but also cause a significant impact on the flow of power (active and reactive), voltage level, and fault currents, therefore; concerns about their potential impacts on the stability and operation of
APA, Harvard, Vancouver, ISO, and other styles
4

Pirie, John. "New developments to Skalpel : a type error slicing method for explaining errors in type and effect systems." Thesis, Heriot-Watt University, 2014. http://hdl.handle.net/10399/2957.

Full text
Abstract:
Type error reports provide programmers with a description of type errors which exist in their code. Such descriptions are frequently of poor quality, as they often present just one point in the program, rather than all locations in the code which contribute to that type error. Skalpel is a type error report system for the Standard ML language which tackles this problem, by presenting all and only the locations in the program which contribute to the type error. While the original Skalpel gives substantially better error reports than comparable systems, it has a number of limitations such as a l
APA, Harvard, Vancouver, ISO, and other styles
5

Koeppel, Gaudenz Alesch. "Reliability considerations of future energy systems : multi-carrier systems and the effect of energy storage /." Zürich : ETH, 2007. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17058.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

James, M. S. "Use of whiskers as model systems for studying surface barriers in type II superconductors." Thesis, University of Bath, 2000. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.311247.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lott, Leslie. "Primary Systems and Voter Turnout: Measuring the Institutional Effect of Primary Type on Voter Turnout." ScholarWorks@UNO, 2009. http://scholarworks.uno.edu/td/956.

Full text
Abstract:
Using the 1990, 1994 and 1998 Congressional mid-term elections, this study looks at whether the type of primary system in a person's state has an effect on whether or not that person will vote in the general election. The five types of primary systems (closed, semi-closed, semiopen, open and blanket) are explained as well as traditional factors for likelihood of voting. It is hypothesized that the more closed the primary system, the less likely a person is to vote. Data analysis shows that when significant, living in an open primary state does significantly increase the likelihood that a
APA, Harvard, Vancouver, ISO, and other styles
8

Ng, H. N. Elaine. "Effects of noise type on speech understanding." Click to view the E-thesis via HKUTO, 2006. http://sunzi.lib.hku.hk/hkuto/record/B37990159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Ng, H. N. Elaine, and 吳凱寧. "Effects of noise type on speech understanding." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2006. http://hub.hku.hk/bib/B37990159.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

McGeorge, Nicolette M. "The effect of training, aim pattern and target type on the ergonomics and efficiency of handheld scanners /." Online version of thesis, 2009. http://hdl.handle.net/1850/10643.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Type and effect systems"

1

Albrecht, Fleckenstein, ed. Cardiovascular effects of dihydropyridine-type calcium antagonists and agonists. Berlin: Springer-Verlag, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Meat Science Research Laboratory (Beltsville, Md.). Bone, cartilage and connective tissue: Effects of quantity, type and removal systems for ground beef : final report. Beltsville, Md: The Laboratory, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Beaser, Richard S. Outsmarting diabetes: A dynamic approach for reducing the effects of insulin-dependent diabetes. Minneapolis, MN: Chronimed Pub., 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

The oxblood effect. Waterville, Me: Thorndike Press, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

The Casimir effect in critical systems. Singapore: World Scientific, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

I, Schwartzbach Michael, ed. Object-oriented type systems. Chichester: Wiley, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nilles, Matthew L., and Danielle L. Jessen Condry, eds. Type 3 Secretion Systems. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4939-6649-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Magahy, E. H. The effect of executive information systems on organisations. Wolverhampton: Wolverhampton Polytechnic, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

S, Simeonov P., ed. Systems with impulse effect: Stability, theory, and applications. Chichester [England]: Ellis Horwood, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Shah, Suril Vijaykumar. Dynamics of Tree-Type Robotic Systems. Dordrecht: Springer Netherlands, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Type and effect systems"

1

Nielson, Flemming, and Hanne Riis Nielson. "Type and Effect Systems." In Lecture Notes in Computer Science, 114–36. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48092-7_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Nielson, Flemming, Hanne Riis Nielson, and Chris Hankin. "Type and Effect Systems." In Principles of Program Analysis, 283–363. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-662-03811-6_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Eo, Hyunjun, Ik-Soon Kim, and Kwangkeun Yi. "Type and Effect System for Multi-staged Exceptions." In Programming Languages and Systems, 61–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11924661_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lu, Yi, John Potter, Chenyi Zhang, and Jingling Xue. "A Type and Effect System for Determinism in Multithreaded Programs." In Programming Languages and Systems, 518–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-28869-2_26.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mahesh, Vishnu, Yueqing Li, and Brian Craig. "Effect of Motion Type and Inclination on Muscle Activity and Edema." In Advances in Intelligent Systems and Computing, 335–42. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-60825-9_36.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kura, Satoshi. "A General Semantic Construction of Dependent Refinement Type Systems, Categorically." In Lecture Notes in Computer Science, 406–26. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_21.

Full text
Abstract:
AbstractDependent refinement types are types equipped with predicates that specify preconditions and postconditions of underlying functional languages. We propose a general semantic construction of dependent refinement type systems from underlying type systems and predicate logic, that is, a construction of liftings of closed comprehension categories from given (underlying) closed comprehension categories and posetal fibrations for predicate logic. We give sufficient conditions to lift structures such as dependent products, dependent sums, computational effects, and recursion from the underlying type systems to dependent refinement type systems. We demonstrate the usage of our construction by giving semantics to a dependent refinement type system and proving soundness.
APA, Harvard, Vancouver, ISO, and other styles
7

Yang, Aileen, Kristian Fredrik Nikolaisen, Sverre Holøs, Kari Thunshelle, Franck René Dauge, and Mads Mysen. "Effect of Filter Type in Ventilation Systems on NO2 Concentrations in Classrooms." In Springer Proceedings in Energy, 911–21. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00662-4_77.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fujisaki, Kiyotaka, and Yuki Yoshigai. "Effect of Parasitic Coil on Communication Performance on Table Type 13.56 MHz RFID Reader." In Advances in Intelligent Systems and Computing, 479–87. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57811-4_48.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Malcik, Martin, and Miroslava Miklosikova. "Effect of an Emotional Video on Skin Conductance Response of Respondents in Dependence on Personality Type." In Advances in Intelligent Systems and Computing, 266–74. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-73210-7_32.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kurisu, Makio, Toshiro Takabatake, and Hironobu Fujii. "Effect of Pressure on the Electrical Resistivity of a Gap-Type Valence Fluctuating Compound CeNiSn." In Transport and Thermal Properties of f-Electron Systems, 265–69. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4615-2868-5_27.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Type and effect systems"

1

Long, Yuheng, and Hridesh Rajan. "A type-and-effect system for asynchronous, typed events." In Modularity '16: 15th International Conference on Modularity. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2889443.2889446.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Wang, Bo, Yung-Sup Shin, and Eric Norris. "Hull Deformation Effect on Membrane-Type LNG Containment Systems." In ASME 2016 35th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/omae2016-54903.

Full text
Abstract:
The objective of this study is to investigate the relationship between the maximum allowable hull deformation, which includes global elongation and local deflection, and the capacity of the CCS in membrane-type LNG vessels. The LNG CCS mainly consists of the primary barrier (e.g. a corrugated membrane for GTT MK III system and an invar membrane for GTT NO 96 system) and the insulation panel which is attached to the inner hull through mastics or couplers. The excessive hull elongation due to dynamic wave loads may cause fatigue damage of the primary barrier. Thus, the maximum allowable hull elo
APA, Harvard, Vancouver, ISO, and other styles
3

Marino, Daniel, and Todd Millstein. "A generic type-and-effect system." In the 4th international workshop. New York, New York, USA: ACM Press, 2008. http://dx.doi.org/10.1145/1481861.1481868.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Font, Aytug, Alper Kara, and Ozcan Kalenderli. "Effect of Electrode Type on Arc Flash Testings for AC Systems." In Power and Energy Systems. Calgary,AB,Canada: ACTAPRESS, 2012. http://dx.doi.org/10.2316/p.2012.768-038.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Zhu, Biwen, David B. Kaber, Maryam Zahabi, and Janet Ma. "Effect of feedback type and modality on human motivation." In 2017 IEEE International Conference on Systems, Man and Cybernetics (SMC). IEEE, 2017. http://dx.doi.org/10.1109/smc.2017.8123057.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Giannini, Paola, Marco Servetto, and Elena Zucca. "A type and effect system for sharing." In SAC 2017: Symposium on Applied Computing. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3019612.3019890.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Flanagan, Cormac, and Shaz Qadeer. "A type and effect system for atomicity." In the ACM SIGPLAN 2003 conference. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/781131.781169.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Gieschke, P., Y. Nurcahyo, M. Herrmann, M. Kuhl, P. Ruther, and O. Paul. "CMOS Integrated Stress Mapping Chips with 32 N-Type or P-Type Piezoresistive Field Effect Transistors." In 2009 IEEE 22nd International Conference on Micro Electro Mechanical Systems (MEMS). IEEE, 2009. http://dx.doi.org/10.1109/memsys.2009.4805496.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kashtiban, A. M., A. Vahedi, and A. Halvaei. "Investigation of winding type effect on leakage flux of single phase shell type transformer using FEM." In Proceedings of the Eighth International Conference on Electrical Machines and Systems. IEEE, 2005. http://dx.doi.org/10.1109/icems.2005.202860.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Grunwald, John J., Chava Gal, Marc T. Aronhime, Sigalit Eidelman, Donald W. Johnson, and Eitan Shalom. "The Effect Of Sensitizer Chemistry On Decarboxylation-Type Image Reversal Systems." In 1989 Microlithography Conferences, edited by Elsa Reichmanis. SPIE, 1989. http://dx.doi.org/10.1117/12.953025.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Type and effect systems"

1

Bodie, Mark, Michael Parker, Alexander Stott, and Bruce Elder. Snow-covered obstacles’ effect on vehicle mobility. Engineer Research and Development Center (U.S.), November 2020. http://dx.doi.org/10.21079/11681/38839.

Full text
Abstract:
The Mobility in Complex Environments project used unmanned aerial systems (UAS) to identify obstacles and to provide path planning in forward operational locations. The UAS were equipped with remote-sensing devices, such as photogrammetry and lidar, to identify obstacles. The path-planning algorithms incorporated the detected obstacles to then identify the fastest and safest vehicle routes. Future algorithms should incorporate vehicle characteristics as each type of vehicle will perform differently over a given obstacle, resulting in distinctive optimal paths. This study explored the effect of
APA, Harvard, Vancouver, ISO, and other styles
2

Heintze, Nevin. Control-Flow Analysis and Type Systems. Fort Belvoir, VA: Defense Technical Information Center, December 1994. http://dx.doi.org/10.21236/ada289338.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mitchell, John C. Advances in Type Systems for Computing. Fort Belvoir, VA: Defense Technical Information Center, June 1996. http://dx.doi.org/10.21236/ada310227.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Liblit, Ben, and Alexander Aiken. Type Systems for Distributed Data Structures. Fort Belvoir, VA: Defense Technical Information Center, November 1999. http://dx.doi.org/10.21236/ada603881.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Osipov, G. S., and N. S. Vashakidze. Computer simulation of mixed-type queuing systems. "The development of science in the era of digitalization: problems, trends, forecasts. ", 2019. http://dx.doi.org/10.18411/ns-mon-24-2019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Coutts, David Allan. The effect of spacer ribs on Ledinegg type flow instabilities. Office of Scientific and Technical Information (OSTI), September 1993. http://dx.doi.org/10.2172/10185101.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Volpano, Dennis M. A Critique of Type Systems for Global Overloading. Fort Belvoir, VA: Defense Technical Information Center, July 1993. http://dx.doi.org/10.21236/ada278800.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fleming, James W., Bradley A. Williams, and Ronald S. Sheinson. Suppression effectiveness of aerosols: The effect of size and flame type. National Institute of Standards and Technology, January 2002. http://dx.doi.org/10.6028/nist.sp.984.4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Bahri, Abbas, and Paul H. Rabinowitz. Periodic Solutions of Hamiltonian Systems of 3-Body Type. Fort Belvoir, VA: Defense Technical Information Center, August 1989. http://dx.doi.org/10.21236/ada212891.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

X. Z. Tang. Finite Amplitude Instability in Takens-Bogdanov-type Dynamical Systems. Office of Scientific and Technical Information (OSTI), December 1998. http://dx.doi.org/10.2172/2384.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Type and effect systems' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography