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 |
|