"A Logical Algorithm for ML Type Inference" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
A type inference algorithm and transition semantics for polymorphic C	Mustafa Özgen	1996	Naval Postgraduate School;Available from National Technical Information Service
Optimization Methods for Logical Inference	Vijay Chandru	1999	John Wiley & Sons
Optimization methods for logical inference /	Chandru, Vijay,; Hoover, John P.,	[1999], ©1999.	Wiley,
Type-Logical Semantics	Bob Carpenter	1998	MIT Press,
Type-Logical Syntax	Yusuke Kubota; Robert D. Levine	2020	MIT Press,
Logical Abilities in Children: Logical Inference: Underlying Operations	Daniel N. Osherson	1974	Routledge
Admissibility of Logical Inference Rules	Vladimir V. Rybakov	1997	Elsevier
Category Neutrality: A Type-Logical Investigation	Neil Whitman	2004	Routledge
The Logical Foundations of Statistical Inference	Henry E. Kyburg	1974	Springer Netherlands
Incremental on-line type inference	Thomas Lewis Robinson	1994	Naval Postgraduate School;Available from National Technical Information Service
Anaphora and Type Logical Grammar	Gerhard Jäger	2005	Springer Netherlands
Supports ML-29-B, ML-29-D, ML-29-E; Anemometers ML-80, ML-80-A, ML-80-B; Indicators ML-117, ML-117-A, ML-117-B	United States. War Department	1944-09-12	U.S. G.P.O.
A Logical Theory of Nonmonotonic Inference and Belief Change	Alexander Bochman	2001	Springer Berlin Heidelberg
The elements of logical analysis and inference	Max Hocutt	1979	Winthrop Publishers
Polymorphic type inference and semi-unification.	Fritz Henglein	1989	Courant Institute of Mathematical Sciences, New York University
Inference for two-parameter exponentials under Type I censoring	Lily Llorens Mantelle	1986
Mantel-Haenszel-type inference for odds ratios with ordinal responses	I-Ming Liu	1995
Type Logical Grammar: Categorial Logic of Signs	G.V. Morrill	1994	Springer Netherlands
Multicriteria integer zero-one programming: a tree-search type algorithm	Aggelos Konstantinou Simopoulos	1977	Naval Postgraduate School
New Backpropagation Algorithm with Type-2 Fuzzy Weights for Neural Networks	Fernando Gaxiola; Patricia Melin; Fevrier Valdez	1st ed. 2016	Springer International Publishing
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
A Logical Algorithm for ML Type Inference	David McAllester	Rewriting Techniques and Applications: 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings	Robert Nieuwenhuis	2003	Springer Berlin Heidelberg
Standard ML Type Inference	Kent D. Lee	Foundations of Programming Languages	Kent D. Lee	2nd ed. 2017	Springer International Publishing
ML with first-class environments and its type inference algorithm	Shin-ya Nishizaki	Logic, Language and Computation: Festschrift in Honor of Satoru Takasu	Neil Jones; Masami Hagiya; Masahiko Sato	1994	Springer Berlin Heidelberg
Compositional and Lightweight Dependent Type Inference for ML	He Zhu; Suresh Jagannathan	Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings	Roberto Giacobazzi; Josh Berdine; Isabella Mastroeni	2013	Springer Berlin Heidelberg
Understanding Scala's type inference algorithm		Programming in Scala	Martin Odersky, Lex Spoon, Bill Venners, Frank Sommers	2021	Artima Press
Understanding Scala's type inference algorithm		Programming in Scala: A Comprehensive Step-by-step Guide	Martin Odersky, Lex Spoon, Bill Venners	2008	Artima Inc
Understanding Scala's type inference algorithm		Programming in Scala: A Comprehensive Step-by-Step Guide, 2nd Edition	Martin Odersky, Lex Spoon, Bill Venners	2011	Artima Inc
Logical Inference		Book of proof	Richard H. Hammack	2018	Richard Hammack
Logical Inference		Book of Proof (Edition 3. 2)	Richard Hammack	2020	Richard Hammack
Logical Inference		Math 2001: Introduction to Discrete Mathematics	Agnès Beaudry	2019
10: The Essence of ML Type Inference		Advanced Topics in Types and Programming Languages	Benjamin C. Pierce	2004	MIT Press,
10. The essence of ML type inference	Francois Pottier and Didier Remy.	Advanced topics in types and programming languages /	Pierce, Benjamin C.	[2005], ©2005.	MIT Press,
ML-Like Inference for Classifiers	Cristiano Calcagno; Eugenio Moggi; Walid Taha	Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings	David Schmidt	2004	Springer Berlin Heidelberg
A complete type inference algorithm for simple intersection types	M. Coppo; P. Giannini	CAAP ' 92: 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings	Jean-Claude Raoult	1992	Springer Berlin Heidelberg
Evidence Algorithm and Sequent Logical Inference Search	Anatoli I. Degtyarev; Alexander V. Lyaletski; Marina K. Morokhovets	Logic Programming and Automated Reasoning: 6th International Conference, LPAR' 99, Tbilisi, Georgia, September 6-10, 1999, Proceedings	Harald Ganzinger; David McAllester; Andrei Voronkov	1999	Springer Berlin Heidelberg
Inference Systems for Logical Algorithms	Natarajan Shankar	FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings	R. Ramanujam; Sandeep Sen	2005	Springer Berlin Heidelberg
Type Inference for ZFH	Steven Obua; Jacques Fleuriot; Phil Scott; David Aspinall	Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.	Manfred Kerber; Jacques Carette; Cezary Kaliszyk; Florian Rabe; Volker Sorge	2015	Springer International Publishing
A LOCALIST NETWORK ARCHITECTURE FOR LOGICAL INFERENCE	Ron Sun; Frederic Alexandre	Connectionist-Symbolic Integration: From Unified to Hybrid Approaches	Ron Sun; Frederic Alexandre	1997	Routledge
14 Logical Inference		Logic, Programming and Prolog	Nilsson U., Maluszynski J.	2000	Wiley
62 Logical Inference		A Course in Discrete Structures	Raphael Pass, Wei-lung Tseng	2011
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries