| Module generation without regret | 0 | 0.34 | 2020 |
| Language-Integrated Query with Nested Data Structures and Grouping. | 0 | 0.34 | 2020 |
| Program generation for ML modules (short paper). | 0 | 0.34 | 2018 |
| Staging with control: type-safe multi-stage programming with control operators. | 1 | 0.37 | 2017 |
| Automatic Staging via Partial Evaluation Techniques. | 0 | 0.34 | 2016 |
| Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. | 1 | 0.37 | 2016 |
| Staging beyond terms: prospects and challenges | 2 | 0.39 | 2016 |
| Finally, safely-extensible and efficient language-integrated query | 4 | 0.56 | 2016 |
| Answer-Type Modification Without Tears: Prompt-Passing Style Translation For Typed Delimited-Control Operators | 0 | 0.34 | 2015 |
| Generate and offshore: type-safe and modular code generation for low-level optimization | 1 | 0.35 | 2015 |
| Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7). | 0 | 0.34 | 2014 |
| Combinators for impure yet hygienic code generation | 6 | 0.46 | 2014 |
| Shonan challenge for generative programming: short position paper | 8 | 0.56 | 2013 |
| Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4). | 0 | 0.34 | 2012 |
| A call-by-name CPS hierarchy | 1 | 0.35 | 2012 |
| Efficient Multi-Valued Bounded Model Checking For Ltl Over Quasi-Boolean Algebras | 1 | 0.36 | 2012 |
| Type checking and typability in domain-free lambda calculi | 0 | 0.34 | 2011 |
| Polymorphic multi-stage language with control effects | 0 | 0.34 | 2011 |
| Shifting the stage: Staging with delimited control | 23 | 1.07 | 2011 |
| Equational axiomatization of call-by-name delimited control | 2 | 0.36 | 2010 |
| Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence | 10 | 0.61 | 2008 |
| Typed dynamic control operators for delimited continuations | 4 | 0.41 | 2008 |
| Calculi of meta-variables | 10 | 0.70 | 2008 |
| Closing the stage: from staged code to typed closures | 6 | 0.57 | 2008 |
| A Direct Algorithm for Multi-valued Bounded Model Checking | 1 | 0.37 | 2008 |
| Axioms for control operators in the CPS hierarchy | 5 | 0.44 | 2007 |
| Polymorphic Delimited Continuations | 19 | 0.79 | 2007 |
| Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings | 20 | 1.35 | 2004 |
| A sound and complete axiomatization of delimited continuations | 35 | 1.34 | 2003 |
| Dynamic Control Operators in Type Theory | 0 | 0.34 | 2001 |
| CAL: A Computer Assisted Learning System for Computation and Logic | 3 | 0.50 | 2001 |
| A Simply Typed Context Calculus with First-Class Environments | 0 | 0.34 | 2001 |
| A Type-Theoretic Study on Partial Continuations | 5 | 0.48 | 2000 |
| A Classical Catch/Throw Calculus With Tag Abstractions And Its Strong Normalizability | 3 | 0.47 | 1998 |
| Conservativeness of Lambda over lambda-sigma-Calculus | 0 | 0.34 | 1994 |
