Robert L. Constable

Best Publications

• Implementing Mathematics with The Nuprl Proof Development System

  R. L. Constable;S. F. Allen;H. M. Bromley;W. R. Cleaveland

  1324
  Citations

• Proofs as programs

  Unknown

  281
  Citations

• Building reliable, high-performance communication systems from components

  Xiaoming Liu;Christoph Kreitz;Robbert van Renesse;Jason Hickey

  186
  Citations

• Innovations in computational type theory using Nuprl

  Unknown

  124
  Citations

• On Classes of Program Schemata

  Unknown

  122
  Citations

• The semantics of reflected proof

  Unknown

  121
  Citations

• Partial Objects In Constructive Type Theory

  Unknown

  100
  Citations

• Constructive Mathematics and Automatic Program Writers

  Robert L. Constable

  94
  Citations

• Computability concepts for programming language semantics

  Unknown

  90
  Citations

• The Nuprl Open Logical Environment

  Unknown

  87
  Citations

• Type two computational complexity

  Unknown

  76
  Citations

• MetaPRL - A Modular Logical Environment

  Unknown

  75
  Citations

• The metaprl logical programming environment

  Unknown

  66
  Citations

• On the theory of programming logics

  Unknown

  64
  Citations

• The Type Theory of PL/CV3

  Unknown

  62
  Citations

• Formalized Metareasoning in Type Theory

  Unknown

  62
  Citations

• Recursive Definitions in Type Theory

  Unknown

  60
  Citations

• Writing programs that construct proofs

  Unknown

  60
  Citations

• Subrecursive Programming Languages, Part I: efficiency and program structure

  Robert L. Constable;Allan B. Borodin

  56
  Citations

• Verbalization of high-level formal proofs

  Amanda M. Holland-Minkley;Regina Barzilay;Robert L. Constable

  53
  Citations