Index Catalog // Digital Collections

Clear filters

Filtering by: Date 2000 Collection Scholars Archive School Oregon Graduate Institute

List Gallery Masonry Slideshow

3f4625777?file=thumbnail

1. Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)

Creator:: Mark Aagaard
Date:: 2000
Document Type:: article

4x51hj29h?file=thumbnail

2. Canonization for disjoint unions of theories

Creator:: Sava Krstic
Date:: 2000
Document Type:: article

Nz805z98f?file=thumbnail

3. A recursive do for Haskell : Design and Implementation

Creator:: Levent Erkak
Date:: 2000
Document Type:: article

9g54xh96x?file=thumbnail

4. DALI: an untyped CBV operational semantics and equational theory for datatypes with binders (Technical Development)

Creator:: Emir Paalic
Date:: 2000
Document Type:: article

Ns064640z?file=thumbnail

5. Taking the hol out of HOL

Creator:: Nancy Day
Date:: 2000
Document Type:: article

J96020870?file=thumbnail

6. A recursive do for Haskell : design and implementation

Creator:: Levent Erkok
Date:: 2000
Document Type:: article

2n49t189s?file=thumbnail

7. Recursive monadic bindings: technical development and details

Creator:: Levent Erkok
Date:: 2000
Document Type:: article

2r36tx836?file=thumbnail

8. Bundles in captivity : an application of superimposed information

Creator:: Delcambre. Lois
Date:: 2000
Document Type:: article

G732d929f?file=thumbnail

9. A Generic approach for representing model-based superimposed information

Creator:: Shawn Bowers
Date:: 2000
Document Type:: article