HOOTS II Second Workshop on Higher-Order Operational Techniques in Semantics. Volume 10

Abstract

This issue of ENTCS is an unrefereed conference record of talks presented at the Second Workshop on Higher Order Operational Techniques in Semantics held at Stanford University, December 8-11, 1997. The meeting was organized by A. Gordon, A. Pitts and C. Talcott with generous sponsorship from Harlequin Ltd, NSF and ONR. The study of operational techniques for higher-order languages has much research activity going on in distinct communities, including the concurrency, functional programming and type theory communities. The purpose of the workshop was to bring researchers from these communities together to discuss current trends in the theory of operational semantics, its application to higher-order languages and its connection with more established semantic techniques.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 12, 1997
Accession Number
ADA361649

Entities

People

  • Andrew Gordon
  • Andrew Pitts
  • Carolyn Talcott

Organizations

  • Stanford University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Coding
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Grammars
  • High Level Languages
  • Language
  • Linguistics
  • Lisp Programming Language
  • Object Code
  • Operating Systems
  • Programming Languages
  • Reasoning
  • Software Development
  • Theoretical Computer Science

Readers

  • Academic Conference Management
  • Artificial Intelligence