Two-level semantics and code generation

Automatic binding time analysis for a typed &lgr;-calculus

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Transformations on higher-order functions

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture

The correctness of an optimized code generation

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Specifying the correctness of binding-time analysis

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A staging calculus and its application to the verification of translators (preliminary report)

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Higher-order arity raising

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming

On objects and events

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Macros as multi-stage computations: type-safe, generative, binding macros in MacroML

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming

Environment classifiers

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Directions in Functional Programming for Real(-Time) Applications

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software

Analysis of Imperative Programs through Analysis of Constraint Logic Programs

SAS '98 Proceedings of the 5th International Symposium on Static Analysis

Normalization and Partial Evaluation

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures

Hardware Synthesis Using SAFL and Application to Processor Design

CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

On extracting static semantics

The essence of computation

Staged computation with names and necessity

Journal of Functional Programming

Type-based publish/subscribe: Concepts and experiences

ACM Transactions on Programming Languages and Systems (TOPLAS)

Content-based publish/subscribe with structural reflection

COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation

Action algebras and model algebras in denotational semantics

Semantics and algebraic specification

Programmable verifiers in imperative programming

UTP'10 Proceedings of the Third international conference on Unifying theories of programming

Synthesizable high level hardware descriptions

New Generation Computing

Static consistency checking for Verilog wire interconnects

Higher-Order and Symbolic Computation