Index Catalog // Digital Collections

Skip to Content

Digital Collections

Switch language English
- Switch language
- Deutsch
- English
- Español
- Français
- Italiano
- Português do Brasil
- 中文
Admin

Home
About
Help
Contact

Search Constraints

Start Over

Filtering by: Date 2004 Remove constraint Date: 2004 Keyword type theory Remove constraint Keyword: type theory

1 entry found

relevance
date uploaded ▼
date uploaded ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

6395w709f?file=thumbnail

The role of type equality in meta-programming

Limit your search

Keyword

computer programming1
logic programming1
programming languages (electronic computers)1
type theory[remove]1

Date

2004[remove]1

School

OGI School of Science and Engineering1

Department

Dept. of Computer Science and Engineering1

Resource type

dissertation1

Creator

Emir Pasalic1

Degree

Ph.D.1

Collection

Scholars Archive1

Oregon Health & Science University is dedicated to improving the health and quality of life for all Oregonians through excellence, innovation and leadership in health care, education and research.

© 2001-2019 Oregon Health & Science University. OHSU is an equal opportunity affirmative action institution.

Notice of Privacy Practices
Web Browser Accessibility

OHSU Home
Contact

About OHSU

Maps & Directions
Jobs
Library
Calendar
Make a Gift
Accessibility
Diversity & Inclusion
Integrity

Patient Resources

Billing and Insurance
Find a Doctor
Find a Clinic
For Patients and Visitors
Clinical Trials

Research

About
Administration
Centers and Institutes
Cores and Shared Resources
Technology Transfer
Research Expertise

Academics

School of Medicine
School of Nursing
School of Dentistry
School of Public Health
College of Pharmacy
Admissions
Student Services

For Employees

O2 Intranet
Email
Connecting Off‑Campus