Search results for "Lambda-calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler	Featherweight Java: a minimal core calculus for Java and GJ.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	generic classes, Java, Compilation, language design, language semantics
16	Juliusz Chroboczek	Game Semantics and Subtyping.	LICS	2000	DBLP DOI BibTeX RDF	Semantics, Type Systems, Game Semantics
16	Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler	Featherwieght Java: A Minimal Core Calculus for Java and GJ.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java, implementation, language design, theoretical foundations
16	David Delahaye	Information Retrieval in a Coq Proof Library Using Type Isomorphisms.	TYPES	1999	DBLP DOI BibTeX RDF
16	Steve Zdancewic, Dan Grossman, J. Gregory Morrisett	Principals in Programming Languages: A Syntactic Proof Technique.	ICFP	1999	DBLP DOI BibTeX RDF
16	Viviana Bono, Michele Bugliesi	Interpretations of Extensible Objects and Types.	FCT	1999	DBLP DOI BibTeX RDF
16	Wil Dekkers, Martin W. Bunder, Henk Barendregt	Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03B40
16	Dominic J. D. Hughes	Games and Definability for System F.	LICS	1997	DBLP DOI BibTeX RDF
16	Sophie Malecki	Proofs in System Fomega Can Be Done in System Fomega1.	CSL	1996	DBLP DOI BibTeX RDF
16	Jacques Garrigue	The Transformation Calculus.	FSTTCS	1995	DBLP DOI BibTeX RDF
16	Martin Odersky	Polarized Name Passing.	FSTTCS	1995	DBLP DOI BibTeX RDF
16	Amy P. Felty	A Logic Programming Approach to Implementing Higher-Order Term Rewriting.	ELP	1991	DBLP DOI BibTeX RDF
16	Aurelio Carboni, Peter J. Freyd, Andre Scedrov	A Categorical Approach to Realizability and Polymorphic Types.	MFPS	1987	DBLP DOI BibTeX RDF
16	Hans Leiß	On Type Inference for Object-Oriented Programming Languages.	CSL	1987	DBLP DOI BibTeX RDF
16	Barry K. Rosen	Tree-Manipulating Systems and Church-Rosser Theorems.	J. ACM	1973	DBLP DOI BibTeX RDF
12	Radha Jagadeesan, Corin Pitcher, James Riely	Open Bisimulation for Aspects.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF
12	Christine Tasson	Algebraic Totality, towards Completeness.	TLCA	2009	DBLP DOI BibTeX RDF
12	Colin Riba	On the Values of Reducibility Candidates.	TLCA	2009	DBLP DOI BibTeX RDF
12	John Baez	Computation and the Periodic Table.	LICS	2009	DBLP DOI BibTeX RDF
12	Kristian Støvring, Søren B. Lassen	A Complete, Co-inductive Syntactic Theory of Sequential Control and State.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
12	Roberto M. Amadio	On Stratified Regions.	APLAS	2009	DBLP DOI BibTeX RDF	Types and effects, Reducibility candidates, Termination
12	Hai Liu 0012, Eric Cheng, Paul Hudak	Causal commutative arrows and their optimization.	ICFP	2009	DBLP DOI BibTeX RDF	functional programming, stream processing, program optimization, functional reactive programming, arrows, dataflow language
12	Daniel R. Licata, Robert Harper 0001	A universe of binding and computation.	ICFP	2009	DBLP DOI BibTeX RDF	dependent types, variable binding
12	Roberto Bruni	Calculi for Service-Oriented Computing.	SFM	2009	DBLP DOI BibTeX RDF
12	Ioannis G. Baltopoulos, Andrew D. Gordon 0001	Secure compilation of a multi-tier web language.	TLDI	2009	DBLP DOI BibTeX RDF	cryptography, compilers, integrity, type systems, web programming, web application security
12	Beniamino Accattoli, Stefano Guerrini	Jumping Boxes.	CSL	2009	DBLP DOI BibTeX RDF
12	Frédéric Blanqui, Cody Roux	On the Relation between Sized-Types Based Termination and Semantic Labelling.	CSL	2009	DBLP DOI BibTeX RDF
12	Murdoch Gabbay, Dominic P. Mulligan	One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.	WoLLIC	2008	DBLP DOI BibTeX RDF
12	Kai Brünnler, Richard McKinley	An Algorithmic Interpretation of a Deep Inference System.	LPAR	2008	DBLP DOI BibTeX RDF
12	Michael Backes 0001, Matthias Berg, Dominique Unruh	A Formal Language for Cryptographic Pseudocode.	LPAR	2008	DBLP DOI BibTeX RDF
12	Dexter Kozen	Nonlocal Flow of Control and Kleene Algebra with Tests.	LICS	2008	DBLP DOI BibTeX RDF	control flow, Kleene algebra, program restructuring, Kleene algebra with tests
12	Delia Kesner	Perpetuality for Full and Safe Composition (in a Constructive Setting).	ICALP (2)	2008	DBLP DOI BibTeX RDF
12	C.-H. Luke Ong	Verification of Higher-Order Computation: A Game-Semantic Approach.	ESOP	2008	DBLP DOI BibTeX RDF
12	Minh Le Nguyen 0001, Akira Shimazu, Xuan Hieu Phan, Thai Phuong Nguyen	Online Structured Learning for Semantic Parsing with Synchronous and lambda-Synchronous Context Free Grammars.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
12	Jordi Levy, Mateu Villaret	Nominal Unification from a Higher-Order Perspective.	RTA	2008	DBLP DOI BibTeX RDF
12	Jörg Endrullis, Roel C. de Vrijer	Reduction Under Substitution.	RTA	2008	DBLP DOI BibTeX RDF
12	Shin-ya Katsumata	A Characterisation of Lambda Definability with Sums Via TT-Closure Operators.	CSL	2008	DBLP DOI BibTeX RDF
12	Lantian Zheng, Andrew C. Myers	Dynamic security labels and static information flow control.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF
12	Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson	Uniqueness Typing Simplified.	IFL	2007	DBLP DOI BibTeX RDF
12	André Hirschowitz, Marco Maggesi	Modules over Monads and Linearity.	WoLLIC	2007	DBLP DOI BibTeX RDF
12	Murdoch Gabbay, Aad Mathijssen	A Formal Calculus for Informal Equality with Binding.	WoLLIC	2007	DBLP DOI BibTeX RDF
12	Andreas Abel 0001	Strong Normalization and Equi-(Co)Inductive Types.	TLCA	2007	DBLP DOI BibTeX RDF
12	Colin Stirling	Higher-Order Matching, Games and Automata.	LICS	2007	DBLP DOI BibTeX RDF
12	Wojciech Moczydlowski	A Dependent Set Theory.	LICS	2007	DBLP DOI BibTeX RDF
12	Mahboob Alam Khalid, Valentin Jijkoun, Maarten de Rijke	Machine Learning for Question Answering from Tabular Data.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
12	Philippe Jorrand	The quantum challenge to computer science.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	quantum information processing and communication
12	Xiaofang Zhao, Hui Fan, Xiaohua Liu	Data Types of DFL Programming Language.	FSKD (1)	2007	DBLP DOI BibTeX RDF
12	Radha Jagadeesan, Corin Pitcher, James Riely	Open bisimulation for aspects.	AOSD	2007	DBLP DOI BibTeX RDF	open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence
12	Murdoch Gabbay, Aad Mathijssen	Capture-Avoiding Substitution as a Nominal Algebra.	ICTAC	2006	DBLP DOI BibTeX RDF
12	Rasmus Ejlers Møgelberg	Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism.	ICALP (2)	2006	DBLP DOI BibTeX RDF
12	Brigitte Pientka	Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks.	ICLP	2006	DBLP DOI BibTeX RDF
12	Venanzio Capretta, Amy P. Felty	Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq.	TYPES	2006	DBLP DOI BibTeX RDF
12	Nils Anders Danielsson	A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family.	TYPES	2006	DBLP DOI BibTeX RDF
12	Edwin C. Brady, Kevin Hammond	A verified staged interpreter is a verified compiler.	GPCE	2006	DBLP DOI BibTeX RDF	domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
12	Allen Van Gelder, Geoff Sutcliffe	Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation.	IJCAR	2006	DBLP DOI BibTeX RDF
12	Adam Koprowski	Certified Higher-Order Recursive Path Ordering.	RTA	2006	DBLP DOI BibTeX RDF
12	Richard Zach	Kurt Gödel and Computability Theory.	CiE	2006	DBLP DOI BibTeX RDF
12	Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic	Mechanized Metatheory for the Masses: The PoplMark Challenge.	TPHOLs	2005	DBLP DOI BibTeX RDF
12	Michael W. Mislove	Discrete Random Variables over Domains.	ICALP	2005	DBLP DOI BibTeX RDF
12	John R. W. Glauert, Delia Kesner, Zurab Khasidashvili	Expression Reduction Systems and Extensions: An Overview.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
12	Peter Thiemann 0001	Grammar-based analysis of string expressions.	TLDI	2005	DBLP DOI BibTeX RDF	string expression analysis, constraints, type inference
12	Matthew Collinson, David J. Pym, Edmund Robinson	On Bunched Polymorphism.	CSL	2005	DBLP DOI BibTeX RDF
12	Ana Almeida Matos	Non-disclosure for Distributed Mobile Code.	FSTTCS	2005	DBLP DOI BibTeX RDF
12	Alastair Butler, Mark Donohue	Argument Dependencies in Tukang Besi.	TbiLLC	2005	DBLP DOI BibTeX RDF
12	Benedetto Intrigila, Richard Statman	The Omega Rule is II_2^0-Hard in the lambda beta -Calculus.	LICS	2004	DBLP DOI BibTeX RDF
12	Yun Zhu, Xi Li 0003, Yuchang Gong, Zhi-Gang Wang	PN-based Formal Modeling and Verification for ASIP Architecture.	ICESS	2004	DBLP DOI BibTeX RDF
12	Thorsten Altenkirch, Tarmo Uustalu	Normalization by Evaluation for lambda-2.	FLOPS	2004	DBLP DOI BibTeX RDF
12	Maribel Fernández	Workshop TERMGRAPH 2004.	ICGT	2004	DBLP DOI BibTeX RDF
12	Lantian Zheng, Andrew C. Myers	Dynamic Security Labels and Noninterference (Extended Abstract).	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
12	Robert Glück, Youhei Kawada, Takuya Hashimoto	Transforming interpreters into inverse interpreters by partial evaluation.	PEPM	2003	DBLP DOI BibTeX RDF	binding-time improvements, inverse interpreter, program in-vision, semantics modifier, self-application
12	James Laird	A Fully Abstract Bidomain Model of Unary FPC.	TLCA	2003	DBLP DOI BibTeX RDF
12	Jo Erskine Hannay	Abstraction Barrier-Observing Relational Parametricity.	TLCA	2003	DBLP DOI BibTeX RDF
12	Jo Erskine Hannay	Axiomatic Criteria for Quotients and Subobjects for Higher-Order Data Types.	ICALP	2003	DBLP DOI BibTeX RDF
12	Olivier Danvy	A New One-Pass Transformation into Monadic Normal Form.	CC	2003	DBLP DOI BibTeX RDF
12	Magnus Carlsson, Johan Nordlander, Dick Kieburtz	The Semantic Layers of Timber.	APLAS	2003	DBLP DOI BibTeX RDF
12	David Walker 0001, Steve Zdancewic, Jay Ligatti	A theory of aspects.	ICFP	2003	DBLP DOI BibTeX RDF	aspect-oriented programming, operational semantics, aspects, type theory
12	Matthias Neubauer, Peter Thiemann 0001	Discriminative sum types locate the source of type errors.	ICFP	2003	DBLP DOI BibTeX RDF	polymorphism, type inference, type errors
12	Brigitte Pientka, Frank Pfenning	Optimizing Higher-Order Pattern Unification.	CADE	2003	DBLP DOI BibTeX RDF
12	Frédéric Loulergue	Parallel Superposition for Bulk Synchronous Parallel ML.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	functional programming, cost model, divide-and-conquer, bulk synchronous parallelism
12	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Compilation of extended recursion in call-by-value functional languages.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, semantics, recursion, functional languages
12	Dariusz Biernacki, Olivier Danvy	From Interpreter to Logic Engine by Defunctionalization.	LOPSTR	2003	DBLP DOI BibTeX RDF
12	Kevin Hammond, Greg Michaelson	Predictable Space Behaviour in FSM-Hume.	IFL	2002	DBLP DOI BibTeX RDF
12	Mira Balaban	Structure and Interpretation of Music Concepts: Music from a Computational Perspective.	ICMAI	2002	DBLP DOI BibTeX RDF
12	Alex K. Simpson	Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory.	LICS	2002	DBLP DOI BibTeX RDF
12	C.-H. Luke Ong, Pietro Di Gianantonio	Games Characterizing Levy-Longo Trees.	ICALP	2002	DBLP DOI BibTeX RDF
12	Tarmo Uustalu	Monad Translating Inductive and Coinductive Types.	TYPES	2002	DBLP DOI BibTeX RDF
12	Uwe Egly	Embedding Lax Logic into Intuitionistic Logic.	CADE	2002	DBLP DOI BibTeX RDF
12	Kevin Backhouse	A Functional Semantics of Attribute Grammars.	TACAS	2002	DBLP DOI BibTeX RDF
12	Mikkel Nygaard, Glynn Winskel	HOPLA-A Higher-Order Process Language.	CONCUR	2002	DBLP DOI BibTeX RDF
12	Andrzej S. Murawski, Kwangkeun Yi	Static Monotonicity Analysis for lambda-definable Functions over Lattices.	VMCAI	2002	DBLP DOI BibTeX RDF
12	Manfred Schmidt-Schauß, Klaus U. Schulz	Decidability of Bounded Higher-Order Unification.	CSL	2002	DBLP DOI BibTeX RDF
12	Klaus Aehlig, Felix Joachimski	On Continuous Normalization.	CSL	2002	DBLP DOI BibTeX RDF
12	Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt	Parameters in Pure Type Systems.	LATIN	2002	DBLP DOI BibTeX RDF
12	Cristina Borralleras, Albert Rubio	A Monotonic Higher-Order Semantic Path Ordering.	LPAR	2001	DBLP DOI BibTeX RDF
12	Daniel Leivant	The Functions Provable by First Order Abstraction.	LPAR	2001	DBLP DOI BibTeX RDF
12	Stephanie Weirich	Encoding Intensional Type Analysis.	ESOP	2001	DBLP DOI BibTeX RDF
12	Gregory T. Sullivan	Dynamic Partial Evaluation.	PADO	2001	DBLP DOI BibTeX RDF
12	David Walker 0001, Kevin Watkins	On Regions and Linear Types.	ICFP	2001	DBLP DOI BibTeX RDF
12	Les Gasser	Perspectives on Organizations in Multi-agent Systems.	EASSS	2001	DBLP DOI BibTeX RDF
12	Jørgen Villadsen	Combinators for Paraconsistent Attitudes.	LACL	2001	DBLP DOI BibTeX RDF