Search results for "Type-Theoretic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Didier Galmiche (eds.)	Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP BibTeX RDF
60	Sachio Hirokawa, Daisuke Nagano	Long Normal Form Proof Search and Counter-Model Generation.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
60	Nikos Mylonakis	Proof assistance for refinement in type theory.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
60	Aleksey Nogin	Writing Constructive Proofs Yielding Efficient Extracted Programs.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
60	Didier Galmiche, J.-M. Notin	Proof-search and proof nets in Mixed Linear Logic.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
60	Didier Galmiche	Preface.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
60	David J. Pym	Notes Towards a Semantics for Proof-search.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
60	James Harland, David J. Pym, Michael Winikoff	Forward and Backward Chaining in Linear Logic.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
60	Didier Galmiche (eds.)	Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), Lindau, Germany, July 5, 1998	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP BibTeX RDF
60	David J. Pym	Logic Programming with Bunched Implications.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
60	Uwe Egly, Stephan Schmitt	Intuitionistic Proof Transformations: Complexity and Applications.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
60	Michael Franssen	Embedding First-Order Tableaux into a Pure Type System.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
60	Frank Pfenning, Carsten Schürmann	Algorithms for Equality and Unification in the Presence of Notational Definitions.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
60	Didier Galmiche	Preface.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
60	Didier Galmiche, Bruno Martin	Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
60	Luís Pinto 0001, Roy Dyckhoff	Sequent Calculi for the Normal Terms of the - and - Calculi.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
60	Dominique Larchey-Wendling, Didier Galmiche	Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets.	Proof Search in Type-Theoretic Languages@CADE	1998	DBLP DOI BibTeX RDF
34	Vatche Ishakian, Azer Bestavros, Assaf J. Kfoury	A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-Time Systems.	RTCSA	2010	DBLP DOI BibTeX RDF	colocation, Type-Theoretic, Real-Time
32	Jo Erskine Hannay	Specification Refinement with System F.	CSL	1999	DBLP DOI BibTeX RDF
31	Richmond H. Thomason	Type Theoretic Foundations for Context, Part 1: Contexts as Complex Type-Theoretic Objects.	CONTEXT	1999	DBLP DOI BibTeX RDF
31	Ana Bove, Venanzio Capretta	Nested General Recursion and Partiality in Type Theory.	TPHOLs	2001	DBLP DOI BibTeX RDF
31	Ken Q. Pu	Service Description and Analysis From a Type Theoretic Approach.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
29	Valery Trifonov, Bratin Saha, Zhong Shao	Fully reflexive intensional type analysis.	ICFP	2000	DBLP DOI BibTeX RDF	runtime type dispatch, typed intermediate language, certified code
28	Robert Harper 0001, Mark Lillibridge	A Type-Theoretic Approach to Higher-Order Modules with Sharing.	POPL	1994	DBLP DOI BibTeX RDF
25	Stuart F. Allen	A Non-Type-Theoretic Semantics for Type-Theoretic Language.		1987	RDF
25	Zhaohui Luo	A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations.	ASIAN	2006	DBLP DOI BibTeX RDF
22	Bratin Saha, Valery Trifonov, Zhong Shao	Intensional analysis of quantified types.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	intensional type analysis, runtime type dispatch, typed intermediate languages, Certified code
21	Adam Chlipala	Parametric higher-order abstract syntax for mechanized semantics.	ICFP	2008	DBLP DOI BibTeX RDF	type-theoretic semantics, dependent types, compiler verification, interactive proof assistants
21	Ana Bove	General Recursion in Type Theory.	TYPES	2002	DBLP DOI BibTeX RDF
21	Brigitte Pientka	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.	POPL	2008	DBLP DOI BibTeX RDF	type system, logical frameworks
21	Didier Galmiche	Workshop: Type-Theoretic Languages: Proof-Search and Semantics.	CADE	2000	DBLP DOI BibTeX RDF
21	Yukiyoshi Kameyama	A Type-Theoretic Study on Partial Continuations.	IFIP TCS	2000	DBLP DOI BibTeX RDF
21	Martin Hofmann 0001, Benjamin C. Pierce	A Unifying Type-Theoretic Framework for Objects.	STACS	1994	DBLP DOI BibTeX RDF
20	Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu	Set-Theoretic and Type-Theoretic Ordinals Coincide.	CoRR	2023	DBLP DOI BibTeX RDF
20	Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu	Set-Theoretic and Type-Theoretic Ordinals Coincide.	LICS	2023	DBLP DOI BibTeX RDF
20	Matthew Gotham	A Model-Theoretic Reconstruction of Type-Theoretic Semantics for Anaphora.	FG	2017	DBLP DOI BibTeX RDF
20	Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira	Modular session types for distributed object-oriented programming.	POPL	2010	DBLP DOI BibTeX RDF	non-uniform method availability, object-oriented calculus, typestates, session types
18	Herman Geuvers, Gueorgui I. Jojgov	Open Proofs and Open Terms: A Basis for Interactive Logic.	CSL	2002	DBLP DOI BibTeX RDF	open terms, meta-variables, formulas-as-types, type theory, interactive theorem proving
18	Peter Aczel, Nicola Gambino	Collection Principles in Dependent Type Theory.	TYPES	2000	DBLP DOI BibTeX RDF
18	Kenneth L. Knowles, Cormac Flanagan	Compositional reasoning and decidable checking for dependent contract types.	PLPV	2009	DBLP DOI BibTeX RDF	refinement types, abstraction, dependent types, compositional reasoning
18	Tsung-Min Kuo, Prateek Mishra	On Strictness and its Analysis.	POPL	1987	DBLP DOI BibTeX RDF	ML
17	Derek Dreyer, Matthias Blume	Principal Type Schemes for Modular Programs.	ESOP	2007	DBLP DOI BibTeX RDF
16	John Hughes 0001	The Correctness of Type Specialisation.	ESOP	2000	DBLP DOI BibTeX RDF
15	Herman Geuvers	(In)consistency of Extensions of Higher Order Logic and Type Theory.	TYPES	2006	DBLP DOI BibTeX RDF
15	Zhong Shao	Transparent Modules with Fully Syntactic Signatures.	ICFP	1999	DBLP DOI BibTeX RDF
14	Ryan Wisnesky, Mauricio A. Hernández, Lucian Popa 0001	Mapping polymorphism.	ICDT	2010	DBLP DOI BibTeX RDF	Clio, nested relational model, schema mapping
14	Yuyu Yin, Jianwei Yin, Ying Li 0001, ShuiGuang Deng	Verifying Consistency of Web Services Behavior Using Type Theory.	APSCC	2008	DBLP DOI BibTeX RDF
14	Ana Bove, Venanzio Capretta	Computation by Prophecy.	TLCA	2007	DBLP DOI BibTeX RDF
14	David G. Clarke, James Noble 0001, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
14	Douglas J. Howe	Interactive Theorem Proving Using Type Theory.	CSL	1999	DBLP DOI BibTeX RDF
14	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
14	John Boyland, Giuseppe Castagna	Type-Safe Compilation of Covariant Specialization: A Practical Case.	ECOOP	1996	DBLP DOI BibTeX RDF
14	Zhaohui Luo	Program Specification and Data Refinement in Type Theory.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
13	Yasuo Nakayama	Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008.	JSAI	2008	DBLP DOI BibTeX RDF
13	Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu	Type-theoretic approaches to ordinals.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
13	András Kovács	Type-Theoretic Signatures for Algebraic Theories and Inductive Types.	CoRR	2023	DBLP DOI BibTeX RDF
13	Henry DeYoung, Frank Pfenning	Data Layout from a Type-Theoretic Perspective (extended version).	MFPS	2022	DBLP DOI BibTeX RDF
13	Jirí Raclavský	Puzzles of Existential Generalisation from Type-theoretic Perspective.	NCL	2022	DBLP DOI BibTeX RDF
13	Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu	Type-Theoretic Approaches to Ordinals.	CoRR	2022	DBLP DOI BibTeX RDF
13	Xinyu Ma, Alexander Afanasyev, Lixia Zhang 0001	A type-theoretic model on NDN-TLV encoding.	ICN	2022	DBLP DOI BibTeX RDF
13	Cesare Gallozzi	Homotopy type-theoretic interpretations of constructive set theories.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	Rafaël Bocquet	Strictification of weakly stable type-theoretic structures using generic contexts.	CoRR	2021	DBLP BibTeX RDF
13	Niccolò Veltri	Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.	FSCD	2021	DBLP DOI BibTeX RDF
13	Rafaël Bocquet	Strictification of Weakly Stable Type-Theoretic Structures Using Generic Contexts.	TYPES	2021	DBLP DOI BibTeX RDF
13	Dan R. Ghica, Todd Waugh Ambridge	A Constructive, Type-Theoretic Approach to Regression via Global Optimisation.	CoRR	2020	DBLP BibTeX RDF
13	Thibaut Benjamin	A type theoretic approach to weak w-categories and related higher structures. (Catégories faibles et structures supérieures afférentes en théorie des types).		2020	RDF
13	Paige Randall North	Type-theoretic weak factorization systems.	CoRR	2019	DBLP BibTeX RDF
13	Jan Bessai	A type-theoretic framework for software component synthesis.		2019	RDF
13	Jonathan Frankle, Peter-Michael Osera, David Walker 0001, Steve Zdancewic	Example-directed synthesis: a type-theoretic interpretation.	POPL	2016	DBLP DOI BibTeX RDF
13	A. I. Domracheva, Pavel A. Shapkin	Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs.	KES	2016	DBLP DOI BibTeX RDF
13	Chris Fox, Shalom Lappin	Type-theoretic logic with an operational account of intensionality.	Synth.	2015	DBLP DOI BibTeX RDF
13	Peng Fu 0001, Ekaterina Komendantskaya	A Type-Theoretic Approach to Structural Resolution.	CoRR	2015	DBLP BibTeX RDF
13	Peng Fu 0001, Ekaterina Komendantskaya	A Type-Theoretic Approach to Resolution.	CoRR	2015	DBLP BibTeX RDF
13	Pavel Shapkin, Gregory Pomadchin	A Type-theoretic Approach to Cloud Data Integration.	WEBIST	2015	DBLP DOI BibTeX RDF
13	Peng Fu 0001, Ekaterina Komendantskaya	A Type-Theoretic Approach to Resolution.	LOPSTR	2015	DBLP DOI BibTeX RDF
13	Raquel Fernández, Staffan Larsson	Vagueness and Learning: A Type-Theoretic Approach.	*SEM@COLING	2014	DBLP DOI BibTeX RDF
13	Kenichi Asai, Luminous Fennell, Peter Thiemann 0001, Yang Zhang	A Type Theoretic Specification of Partial Evaluation.	PPDP	2014	DBLP DOI BibTeX RDF
13	Laurence Danlos, Philippe de Groote, Sylvain Pogodalla	A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars.	JSAI-isAI Workshops	2013	DBLP DOI BibTeX RDF
13	Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj	A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing.	ICDCS Workshops	2013	DBLP DOI BibTeX RDF
13	Paul E. Oppenheimer, Edward N. Zalta	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
13	Bruno Mery	Modélisation de la Sémantique Lexicale dans le cadre de la théorie des types. (Modelling lexical semantics in a type-theoretic framework).		2011	RDF
13	Reinhard Muskens	New Directions in Type-Theoretic Grammars.	J. Log. Lang. Inf.	2010	DBLP DOI BibTeX RDF
13	Daniel Calegari, Carlos Luna 0001, Nora Szasz, Alvaro Tasistro	A Type-Theoretic Framework for Certified Model Transformations.	SBMF	2010	DBLP DOI BibTeX RDF
13	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of delimited continuations.	High. Order Symb. Comput.	2009	DBLP DOI BibTeX RDF
13	Aleksandar Nanevski, Paul Govereau, Greg Morrisett	Towards type-theoretic semantics for transactional concurrency.	TLDI	2009	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
13	Sylvain Pogodalla	Exploring a type-theoretic approach to accessibility constraint modelling	CoRR	2008	DBLP BibTeX RDF
13	Peter Aczel, Nicola Gambino	The generalised type-theoretic interpretation of constructive set theory.	J. Symb. Log.	2006	DBLP DOI BibTeX RDF
13	Jay Ligatti, David Walker 0001, Steve Zdancewic	A type-theoretic interpretation of pointcuts and advice.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
13	Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson	Type-theoretic design patterns.	ICFP-WGP	2006	DBLP DOI BibTeX RDF	functional objects, language features, formal method, object-oriented programming, design patterns, functional programming, reasoning, dependent types, program correctness, visitor pattern
13	Peter Buchlovsky, Hayo Thielecke	A Type-theoretic Reconstruction of the Visitor Pattern.	MFPS	2005	DBLP DOI BibTeX RDF
13	Iman Poernomo	A Type Theoretic Framework for Formal Metamodelling.	Architecting Systems with Trustworthy Components	2004	DBLP DOI BibTeX RDF
13	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of continuations and prompts.	ICFP	2004	DBLP DOI BibTeX RDF	callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset
13	Chris Fox, Shalom Lappin	A type-theoretic approach to anaphora and ellipsis resolution.	RANLP	2003	DBLP BibTeX RDF
13	Yves Bertot, Venanzio Capretta, Kuntal Das Barman	Type-Theoretic Functional Semantics.	TPHOLs	2002	DBLP DOI BibTeX RDF
13	Carsten Schürmann	A Type-Theoretic Approach to Induction with Higher-Order Encodings.	LPAR	2001	DBLP DOI BibTeX RDF
13	Andrzej S. Murawski	On semantic and type-theoretic aspects of polynomial-time computability.		2001	RDF
13	Didier Galmiche, David J. Pym	Proof-search in type-theoretic languages: an introduction.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
13	Robert Harper 0001, Christopher A. Stone	A type-theoretic interpretation of standard ML.	Proof, Language, and Interaction	2000	DBLP BibTeX RDF
13	Joachim van den Berg, Marieke Huisman, Bart Jacobs 0001, Erik Poll	A Type-Theoretic Memory Model for Verification of Sequential Java Programs.	WADT	1999	DBLP DOI BibTeX RDF
13	Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Sørensen, Mads Tofte	AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem.	TLCA	1999	DBLP DOI BibTeX RDF