Author Search Results

Frank Pfenning

Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and head of the Computer Science Department at Carnegie Mellon University. Provided by Wikipedia

Select result number 1
1

A Schema for Adding Dependent Types to ML

by Hongwei Xi, Frank Pfenning
Published 1997

Get access
Get access

Text
Select result number 2
2

A Schema for Adding Dependent Types to ML ∗

by Hongwei Xi, Frank Pfenning

Get access
Get access

Text
Select result number 3
3

Dependent Types in Practical Programming (Extended Abstract)

by Hongwei Xi, Frank Pfenning
Published 1998

Get access
Get access

Text
Select result number 4
4

Dependent Types in Practical Programming (Extended Abstract)

by Hongwei Xi, Frank Pfenning
Published 1999

Get access
Get access

Text
Select result number 5
5

Abstract Dependent Types in Practical Programming* (Extended Abstract)

by Hongwei Xi, Frank Pfenning

Get access
Get access

Text
Select result number 6
6

Dependent Types in Practical Programming (Extended Abstract)

by Hongwei Xi, Frank Pfenning
Published 1999

Get access
Get access

Text
Select result number 7
7

Abstract

by Hongwei Xi, Frank Pfenning
Published 1997

Get access
Get access

Text
Select result number 8
8

A Schema for Adding Dependent Types to ML

by Hongwei Xi, Frank Pfenning
Published 1997

Get access
Get access

Text