Search results for "hindley-milner"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
131	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Type Processing by Constraint Reasoning.	APLAS	2006	DBLP DOI BibTeX RDF
106	Robert Kießling, Zhaohui Luo	Coercions in Hindley-Milner Systems.	TYPES	2003	DBLP DOI BibTeX RDF
85	Patrick Maxim Rondon, Ming Kawaguchi, Ranjit Jhala	Liquid types.	PLDI	2008	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
80	Martin Sulzmann	A General Type Inference Framework for Hindley/Milner Style Systems.	FLOPS	2001	DBLP DOI BibTeX RDF
80	Cordelia V. Hall	Using Hindley-Milner Type Inference to Optimise List Representation.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF
59	Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala	Type-based data structure verification.	PLDI	2009	DBLP DOI BibTeX RDF	hindley-milner, type inference, dependent types, predicate abstraction
53	Magnus Madsen, Jaco van de Pol, Troels Henriksen	Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
53	Gonglin Li	An Affine Type System with Hindley-Milner Style Type Inference.	CoRR	2022	DBLP DOI BibTeX RDF
53	Yusuke Miyazaki 0001, Taro Sekiyama, Atsushi Igarashi	Dynamic type inference for gradual Hindley-Milner typing.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
53	Yusuke Miyazaki 0001, Taro Sekiyama, Atsushi Igarashi	Dynamic Type Inference for Gradual Hindley-Milner Typing.	CoRR	2018	DBLP BibTeX RDF
53	Axel Simon	Deriving a complete type inference for Hindley-Milner and vector sizes using expansion.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
53	François Pottier	Hindley-milner elaboration in applicative style: functional pearl.	ICFP	2014	DBLP DOI BibTeX RDF
53	Axel Simon	Deriving a complete type inference for hindley-milner and vector sizes using expansion.	PEPM	2013	DBLP DOI BibTeX RDF
53	Dmitriy Traytel, Stefan Berghofer, Tobias Nipkow	Extending Hindley-Milner Type Inference with Coercive Structural Subtyping.	APLAS	2011	DBLP DOI BibTeX RDF
53	Sam Lindley	Many holes in hindley-milner.	ML	2008	DBLP DOI BibTeX RDF	indexed type, multi-holed context, phantom type, value restriction, dependent type
53	Cordelia V. Hall	Strictness Analysis Using Hindley-Milner Type Inference.	Functional Programming	1991	DBLP DOI BibTeX RDF
53	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	AspectML: A polymorphic aspect-oriented functional programming language.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	parametric and ad-hoc polymorphism, Aspect-oriented programming, type systems, type inference, functional languages
53	Daniel S. Dantas, David Walker 0001, Geoffrey Washburn, Stephanie Weirich	PolyAML: a polymorphic aspect-oriented functional programming language.	ICFP	2005	DBLP DOI BibTeX RDF	aspects-oriented programming, functional programming, type systems, type inference, ad-hoc polymorphism
53	David A. McAllester	Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference.	RTA	2003	DBLP DOI BibTeX RDF
53	J. B. Wells	The Essence of Principal Typings.	ICALP	2002	DBLP DOI BibTeX RDF
53	Olaf Chitil	Compositional Explanation of Types and Algorithmic Debugging of Type Errors.	ICFP	2001	DBLP DOI BibTeX RDF
53	Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells	Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract).	ICFP	1999	DBLP DOI BibTeX RDF
53	Johan Nordlander	Pragmatic Subtyping in Polymorphic Languages.	ICFP	1998	DBLP DOI BibTeX RDF
53	Zhe Yang	Encoding Types in ML-Like Languages.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language
37	Daan Leijen	HMF: simple type inference for first-class polymorphism.	ICFP	2008	DBLP DOI BibTeX RDF	first-class polymorphism, type inference
37	Simon J. Gay	A Sort Inference Algorithm for the Polyadic Pi-Calculus.	POPL	1993	DBLP DOI BibTeX RDF
26	Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers	Let should not be generalized.	TLDI	2010	DBLP DOI BibTeX RDF	type families, haskell, type inference, type classes, generalized algebraic data types
26	Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring	Generic programming with fixed points for mutually recursive datatypes.	ICFP	2009	DBLP DOI BibTeX RDF	mutually recursive datatypes, haskell, fixed points, datatype-generic programming
26	Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu	A Rewriting Logic Approach to Type Inference.	WADT	2008	DBLP DOI BibTeX RDF
26	Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen	Towards Typed Prolog.	ICLP	2008	DBLP DOI BibTeX RDF
26	Florian Haftmann, Makarius Wenzel	Local Theory Specifications in Isabelle/Isar.	TYPES	2008	DBLP DOI BibTeX RDF
26	Ana Bove, Peter Dybjer	Dependent Types at Work.	LerNet ALFA Summer School	2008	DBLP DOI BibTeX RDF
26	Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine	Principal Typings for Explicit Substitutions Calculi.	CiE	2008	DBLP DOI BibTeX RDF	lambda-calculus, explicit substitution, principal typings
26	Ulf Norell	Dependently Typed Programming in Agda.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
26	Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha	Concoqtion: indexed types now!	PEPM	2007	DBLP DOI BibTeX RDF
26	Daan Leijen	A type directed translation of MLF to system F.	ICFP	2007	DBLP DOI BibTeX RDF	first-class polymorphism, system F, MLF
26	Antonio Blanco, J. E. Freire, José Luis Freire	Using Coq to Understand Nested Datatypes.	EUROCAST	2007	DBLP DOI BibTeX RDF
26	Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya	An AOP Extended Lambda-Calculus.	SEFM	2007	DBLP DOI BibTeX RDF
26	Phil Cook, Colin J. Fidge	Well-Measuring Programs.	ASWEC	2006	DBLP DOI BibTeX RDF
26	Meng Wang 0002, Kung Chen, Siau-Cheng Khoo	Type-directed weaving of aspects for higher-order functional languages.	PEPM	2006	DBLP DOI BibTeX RDF	type inference, functional language, aspect oriented, higher-order, weaving
26	Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones	Boxy types: inference for higher-rank types and impredicativity.	ICFP	2006	DBLP DOI BibTeX RDF	higher-rank types, impredicativity, type inference
26	William L. Harrison	A Simple Semantics for Polymorphic Recursion.	APLAS	2005	DBLP DOI BibTeX RDF
26	Murdoch Gabbay	A new calculus of contexts.	PPDP	2005	DBLP DOI BibTeX RDF	calculi of contexts, lambda-calculi, nominal techniques, functional programming, binders
26	Walid Taha, Michael Florentin Nielsen	Environment classifiers.	POPL	2003	DBLP DOI BibTeX RDF	type systems, modal logic, type safety, linear temporal logic, multi-stage programming
26	Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey	Termination Analysis with Types Is More Accurate.	ICLP	2003	DBLP DOI BibTeX RDF
26	Emir Pasalic, Walid Taha, Tim Sheard	Tagless staged interpreters for typed languages.	ICFP	2002	DBLP DOI BibTeX RDF	calculus of constructions, definitional interpreters, domain-specific languages, multi-stage programming
26	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ICFP	2002	DBLP DOI BibTeX RDF	constraints, type inference, overloading, type classes
26	Olivier Danvy, Morten Rhiger	A Simple Take on Typed Abstract Syntax in Haskell-like Languages.	FLOPS	2001	DBLP DOI BibTeX RDF	Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax
26	Jeffrey R. Lewis, John Launchbury, Erik Meijer 0001, Mark Shields	Implicit Parameters: Dynamic Scoping with Static Types.	POPL	2000	DBLP DOI BibTeX RDF
26	Oukseh Lee, Kwangkeun Yi	Proofs about a Folklore Let-Polymorphic Type Inference Algorithm.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	type inference algorithm, type error
26	Haruo Hosoya, Akinori Yonezawa	Garbage Collection via Dynamic Type Inference - A Fomal Treatment.	Types in Compilation	1998	DBLP DOI BibTeX RDF
26	Richard B. Kieburtz	Taming Effects with Monadic Typing.	ICFP	1998	DBLP DOI BibTeX RDF	ML
26	Dominic Duggan	Finite Subtype Inference with Explicit Polymorphism.	SAS	1998	DBLP DOI BibTeX RDF
26	Andrew K. Wright, Robert Cartwright	A Practical Soft Type System for Scheme.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	soft typing, SCHEME, run-time checks
26	Zhong Shao	Flexible Representation Analysis.	ICFP	1997	DBLP DOI BibTeX RDF
26	Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler	Type Classes in Haskell.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	functional programming, Haskell, Haskell, types, type classes
26	Gianna Bellè, C. Barry Jay, Eugenio Moggi	Functorial ML.	PLILP	1996	DBLP DOI BibTeX RDF
26	Konstantin Läufer, Martin Odersky	Polymorphic Type Inference and Abstract Data Types.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	existentially quantified types, first-class abstract types, universally quantified types, polymorphism, type inference, dynamic dispatching
26	Andrew P. Tolmach	Tag-Free Garbage Collection Using Explicit Type Parameters.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	ML
26	Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler	Type Classes in Haskell.	ESOP	1994	DBLP DOI BibTeX RDF
26	Geoffrey Smith 0001	Polymorphic Type Inference with Overloading and Subtyping.	TAPSOFT	1993	DBLP DOI BibTeX RDF
26	Andrew K. Wright	Typing References by Effect Inference.	ESOP	1992	DBLP DOI BibTeX RDF
26	Philip Wadler, Stephen Blott	How to Make ad-hoc Polymorphism Less ad-hoc.	POPL	1989	DBLP DOI BibTeX RDF	ML