Searching for authors named "Dale Miller" – sorted by Relevance.
55 documents found, showing 1 through 10.
Next 10 →
-
Abstract An Extension to ML to Handle Bound Variables in Data Structures: Preliminary Report
- … Miller Computer and Information Science University of Pennsylvania Philadelphia, PA 19104–6389 USA dale…
- Add To MetaCart
-
The Pi-Calculus as a Theory in Linear Logic
- …The-calculus as a theory in linear logic: Preliminary results * Dale Miller Computer Science…
- Add To MetaCart
-
An Overview of Linear Logic Programming
- …1 An Overview of Linear Logic Programming Dale Miller INRIA/Futurs & Laboratoire d…
- Cited by 2 (1 self) – Add To MetaCart
-
Encryption as an abstract data-type: An extended abstract
- …Encryption as an abstract data-type: An extended abstract ∗ Dale Miller, INRIA…
- Cited by 5 (1 self) – Add To MetaCart
-
A proof theoretic approach to operational semantics, in
- …APC 2005 A Proof Theoretic Approach to Operational Semantics Abstract Dale Miller 1,2 INRIA & LIX…
- Cited by 1 (0 self) – Add To MetaCart
-
Representing and reasoning with operational semantics
- …Representing and reasoning with operational semantics Dale Miller INRIA & LIX, École Polytechnique…
- Cited by 4 (1 self) – Add To MetaCart
-
A Survey of Linear Logic Programming
- …A Survey of Linear Logic Programming Dale Miller Computer Science Department University…
- Cited by 4 (0 self) – Add To MetaCart
-
A Proposal for Modules in λProlog
- …A Proposal for Modules in Prolog ? Dale Miller Computer Science Department University…
- Cited by 3 (0 self) – Add To MetaCart
-
Higher-Order Quantification and Proof Search
- …Higher-order quantification and proof search ⋆ Dale Miller Computer Science and Engineering, 220…
- Cited by 5 (3 self) – Add To MetaCart
-
A Theory of Modules for Logic Programming
- …A Theory of Modules for Logic Programming Dale Miller Computer and Information Science University…
- Cited by 36 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
