CUFinder

Peng Fu

Peng Fu

Dalhousie University

H-index: 10

North America-Canada

About Peng Fu

Peng Fu, With an exceptional h-index of 10 and a recent h-index of 6 (since 2020), a distinguished researcher at Dalhousie University, specializes in the field of quantum programming languages, type systems.

His recent articles reflect a diverse array of research interests and contributions to the field:

Towards an induction principle for nested data types

Proto-Quipper with dynamic lifting

On the Lambek embedding and the category of product-preserving presheaves

Linear dependent type theory for quantum programming languages

A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

Peng Fu Information

University

Position

___

Citations(all)

248

Citations(since 2020)

137

Cited By

149

hIndex(all)

10

hIndex(since 2020)

6

i10Index(all)

10

i10Index(since 2020)

6

Email

Access Email

University Profile Page

Dalhousie University

Google Scholar

View Google Scholar Profile

Peng Fu Skills & Research Interests

quantum programming languages

type systems

Top articles of Peng Fu

Title

Journal

Author(s)

Publication Date

Towards an induction principle for nested data types

Peng Fu

Peter Selinger

2023/7/11

Proto-Quipper with dynamic lifting

Proceedings of the ACM on Programming Languages

Peng Fu

Kohei Kishida

Neil J Ross

Peter Selinger

2023/1/9

On the Lambek embedding and the category of product-preserving presheaves

arXiv preprint arXiv:2205.06068

Peng Fu

Kohei Kishida

Neil J Ross

Peter Selinger

2022/5/12

Linear dependent type theory for quantum programming languages

Peng Fu

Kohei Kishida

Peter Selinger

2020/7/8

A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper

Peng Fu

Kohei Kishida

Neil J Ross

Peter Selinger

2020

See List of Professors in Peng Fu University(Dalhousie University)