Work

Type-Based Optimization for Regular Patterns

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11601524_12

Authors: Michael Y. Levin, Benjamin C. Pierce

Institutions: Microsoft (United States), University of Pennsylvania

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1491873999

FWCI: 2.897

Cites: 15

Cited by: 23

Related to: 10