Academic literature on the topic 'Y Combinator'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Y Combinator.'
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 "Y Combinator"
Legrand, Remi. "A basis result in combinatory logic." Journal of Symbolic Logic 53, no. 4 (1988): 1224–26. http://dx.doi.org/10.1017/s0022481200028048.
Full textBimbó, Katalin. "The Church-Rosser property in symmetric combinatory logic." Journal of Symbolic Logic 70, no. 2 (2005): 536–56. http://dx.doi.org/10.2178/jsl/1120224727.
Full textBimbó, Katalin. "The Church-Rosser property in dual combinatory logic." Journal of Symbolic Logic 68, no. 1 (2003): 132–52. http://dx.doi.org/10.2178/jsl/1045861508.
Full textGoble, Lou. "Combinator Logics." Studia Logica 76, no. 1 (2004): 17–66. http://dx.doi.org/10.1023/b:stud.0000027466.68014.52.
Full textJay, Barry, and Thomas Given-Wilson. "A combinatory account of internal structure." Journal of Symbolic Logic 76, no. 3 (2011): 807–26. http://dx.doi.org/10.2178/jsl/1309952521.
Full textOKASAKI, CHRIS. "THEORETICAL PEARLS." Journal of Functional Programming 13, no. 4 (2003): 815–22. http://dx.doi.org/10.1017/s0956796802004483.
Full textJoy, M. S., V. J. Rayward-Smith, and F. W. Burton. "Efficient combinator code." Computer Languages 10, no. 3-4 (1985): 211–24. http://dx.doi.org/10.1016/0096-0551(85)90017-7.
Full textSteedman, Mark. "The Lost Combinator." Computational Linguistics 44, no. 4 (2018): 613–29. http://dx.doi.org/10.1162/coli_a_00328.
Full textWaldmann, Johannes. "The Combinator S." Information and Computation 159, no. 1-2 (2000): 2–21. http://dx.doi.org/10.1006/inco.2000.2874.
Full textParfitt, Eric James. "Patterns in Combinator Evolution." Complex Systems 26, no. 2 (2017): 119–34. http://dx.doi.org/10.25088/complexsystems.26.2.119.
Full textDissertations / Theses on the topic "Y Combinator"
Tunmer, Michael Luke. "Combinator reduction on networks of small processors." Thesis, University of Cambridge, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358850.
Full textGiannakopoulos, Theophilos John. "Multi-Decision Policy and Policy Combinator Specifications." Digital WPI, 2012. https://digitalcommons.wpi.edu/etd-theses/166.
Full textLester, David. "Combinator graph reduction : A congruence and its applications." Thesis, University of Oxford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236057.
Full textNipoti, Vladimir. "Podnikatelské akcelerátory. Význam a přínosy." Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-193365.
Full textBucciarelli, Stefano. "Un compilatore per un linguaggio per smart contract intrinsecamente tipato." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/19573/.
Full textDespré, Vincent. "Topologie et algorithmes sur les cartes combinatoires." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM043/document.
Full textPriez, Jean-Baptiste. "Combinatoire des fonctions de parking : espèces, énumération d’automates et algèbres de Hopf." Thesis, Université Paris-Saclay (ComUE), 2015. http://www.theses.fr/2015SACLS111/document.
Full textCampitelli, Eduardo Moreti [UNESP]. "Análises e estudos para alocação e ajustes de dispositivos de proteção em redes de média tensão de energia elétrica com geração distribuída." Universidade Estadual Paulista (UNESP), 2007. http://hdl.handle.net/11449/87232.
Full textRo, Hee-Jin. "Les référentiels et opérateurs aspecto-temporels : définitions, formalisation logique et informatique." Thesis, Paris 4, 2012. http://www.theses.fr/2012PA040130.
Full textCampitelli, Eduardo Moreti. "Análises e estudos para alocação e ajustes de dispositivos de proteção em redes de média tensão de energia elétrica com geração distribuída /." Ilha Solteira : [s.n.], 2007. http://hdl.handle.net/11449/87232.
Full textBooks on the topic "Y Combinator"
Koopman, Phil. An architecture for combinator graph reduction. Academic Press, 1990.
Find full textKoopman, Philip. An architecture for combinator graph reduction. Academic Press, 1990.
Find full textHartel, Pieter H. Performance analysis of storage management in combinator graph reduction. University of Amsterdam, 1988.
Find full textStevens, David. A generalization of Turner's combinator-based technique for implementing a functional language: Y David Stevens. University of Birmingham, 1997.
Find full textStross, Randall E. The launch pad: Inside Silicon Valley's most exclusive school for startups. Portfolio/Penguin, 2012.
Find full textMunoz, Ignacio Bosque. Redes: Diccionario Combinatorio De Español Contemporaneo (Networks: Combination Dictionary Of Contemporary Spanish). Sm, 2007.
Find full textCanada. Dept. of the Secretary of State of Canada. and Canada. Translation Bureau. Terminology and Linguistic Services Directorate., eds. Vocabulaire combinatoire de la CFAO mécanique =: Combinatory vocabulary of CAD/CAM in mechanical engineering. Secrétariat d'État du Canada = Dept. of the Secretary of State of Canada, 1993.
Find full textPogonowski, Jerzy. Combinatory semantics. Wydawn. Nauk. Uniwersytetu im. Adama Mickiewicza w Poznaniu, 1993.
Find full textAlladi, Krishnaswami, Peter Paule, James Sellers, and Ae Ja Yee, eds. Combinatory Analysis. Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-7858-4.
Full textBook chapters on the topic "Y Combinator"
Koopman, Pieter, and Rinus Plasmeijer. "Efficient Combinator Parsers." In Implementation of Functional Languages. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48515-5_8.
Full textFu, Yuxi. "Axiomatization Without Prefix Combinator." In Domains and Processes. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-010-0654-5_12.
Full textLayka, Vishal, and David Pollak. "DSL and Parser Combinator." In Beginning Scala. Apress, 2015. http://dx.doi.org/10.1007/978-1-4842-0232-6_10.
Full textMilner, R. "Parallel combinator reduction machine." In The Analysis of Concurrent Systems. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-16047-7_41.
Full textWaite, Martin, Bret Giddings, and Simon Lavington. "Parallel associative combinator evaluation." In PARLE '91 Parallel Architectures and Languages Europe. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54152-7_74.
Full textWaite, Martin, Bret Giddings, and Simon Lavington. "Parallel Associative Combinator Evaluation." In Parle ’91 Parallel Architectures and Languages Europe. Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-25209-3_47.
Full textPollak, David, Vishal Layka, and Andres Sacco. "DSL and Parser Combinator." In Beginning Scala 3. Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-7422-4_10.
Full textSwierstra, S. Doaitse. "Combinator Parsing: A Short Tutorial." In Language Engineering and Rigorous Software Development. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03153-3_6.
Full textCharguéraud, Arthur. "The Optimal Fixed Point Combinator." In Interactive Theorem Proving. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14052-5_15.
Full textHankin, CL, PE Osmon, and MJ Shute. "Cobweb — A combinator reduction architecture." In Functional Programming Languages and Computer Architecture. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15975-4_32.
Full textConference papers on the topic "Y Combinator"
De Smedt, Floris, Kristof Van Beeck, Tinne Tuytelaars, and Toon Goedeme. "The Combinator: Optimal Combination of Multiple Pedestrian Detectors." In 2014 22nd International Conference on Pattern Recognition (ICPR). IEEE, 2014. http://dx.doi.org/10.1109/icpr.2014.606.
Full textNorman, A. C. "Faster combinator reduction using stock hardware." In the 1988 ACM conference. ACM Press, 1988. http://dx.doi.org/10.1145/62678.62716.
Full textLemaître, M., M. Castan, M. H. Durand, G. Durrieu, and B. Lecussan. "Mechanisms for efficient multiprocessor combinator reduction." In the 1986 ACM conference. ACM Press, 1986. http://dx.doi.org/10.1145/319838.319855.
Full textKoopman, P. J., and P. Lee. "A fresh look at combinator graph reduction." In the ACM SIGPLAN 1989 Conference. ACM Press, 1989. http://dx.doi.org/10.1145/73141.74828.
Full textSoriano, Jairo, and Juan Chacon. "Concresor based on Kleenean relations using convex combinator." In 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2016. http://dx.doi.org/10.1109/fuzz-ieee.2016.7737679.
Full textScholz, Enno. "Imperative streams---a monadic combinator library for synchronous programming." In the third ACM SIGPLAN international conference. ACM Press, 1998. http://dx.doi.org/10.1145/289423.289454.
Full textTarau, Paul. "On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees." In 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 2015. http://dx.doi.org/10.1109/synasc.2015.33.
Full textSharma, Dushyant, Rong Gong, James Fosburgh, Stanislav Yu Kruchinin, Patrick A. Naylor, and Ljubomir Milanovic. "Spatial Processing Front-End for Distant ASR Exploiting Self-Attention Channel Combinator." In ICASSP 2022 - 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2022. http://dx.doi.org/10.1109/icassp43922.2022.9746667.
Full textPerera, Lokukaluge P., Kostas Belibassakis, Evangelos Filippas, and Maneesha Premasiri. "Advanced Data Analytics Based Hybrid Engine-Propeller Combinator Diagram for Green Ship Operations." In ASME 2022 41st International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/omae2022-79490.
Full textPerera, Lokukaluge P., and Brage Mo. "Data Analytics for Capturing Marine Engine Operating Regions for Ship Performance Monitoring." 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-54168.
Full textReports on the topic "Y Combinator"
Winter, Victor Lono. Strategy application, observability, and the choice combinator. Office of Scientific and Technical Information (OSTI), 2004. http://dx.doi.org/10.2172/918743.
Full textKuhn, D. R., M. S. Raunak, and R. N. Kacker. Combination Frequency Differencing. National Institute of Standards and Technology, 2021. http://dx.doi.org/10.6028/nist.cswp.12062021-draft.
Full textDiebold, Francis, and Jose Lopez. Forecast Evaluation and Combination. National Bureau of Economic Research, 1996. http://dx.doi.org/10.3386/t0192.
Full textSocol, Allison Socol, Ary Amerikaner Amerikaner, Betty Chang Chang, et al. The Education Combination Toolkit. Education Trust, 2020. http://dx.doi.org/10.15868/socialsector.40738.
Full textGildea, Daniel, and Julia Hockenmaier. Identifying Semantic Roles Using Combinatory Categorial Grammar. Defense Technical Information Center, 2003. http://dx.doi.org/10.21236/ada459462.
Full textXiang, Rong. Novel Combination Therapy for Prostate Carcinoma. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada435053.
Full textRennie, Michael W. Mixing Combination and the Acceptance test. Defense Technical Information Center, 1986. http://dx.doi.org/10.21236/ada196499.
Full textXiang, Rong. Novel Combination Therapy for Prostate Carcinoma. Defense Technical Information Center, 2003. http://dx.doi.org/10.21236/ada417972.
Full textXiang, Rong. Novel Combination Therapy for Prostate Carcinoma. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada423719.
Full textUllman, Shimon, and Ronen Basri. Recognition by Linear Combination of Models. Defense Technical Information Center, 1989. http://dx.doi.org/10.21236/ada224268.
Full text