default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeng Fu 0001
Person information
- affiliation: Dalhousie University, Nova Scotia, Canada
- affiliation (former): The University of Dundee, Scotland, UK
Other persons with the same name
- Peng Fu — disambiguation page
- Peng Fu 0002 — Xi'an Jiaotong University, China
- Peng Fu 0003
![[0000-0001-6089-5932]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0001-6089-5932")
— Nanjing University of Science and Technology, China - Peng Fu 0004 — University of Illinois at Urbana-Champaign, IL, USA (and 1 more)
- Peng Fu 0005 — Chongqing University of Posts and Telecommunications, China
- Peng Fu 0006 — Hunan University, Changsha, China
- Peng Fu 0007 — East China University of Science and Technology
- Peng Fu 0008 — Chinese Academy of Sciences, Beijing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j4]Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger:
Proto-Quipper with Dynamic Lifting. Proc. ACM Program. Lang. 7(POPL): 309-334 (2023)- [c9]Peng Fu, Peter Selinger:
Towards an Induction Principle for Nested Data Types. WoLLIC 2023: 244-255 - [i13]Peng Fu, Peter Selinger:
Towards an induction principle for nested data types. CoRR abs/2306.10124 (2023) - 2022
- [j3]Peng Fu, Kohei Kishida, Peter Selinger:
Linear Dependent Type Theory for Quantum Programming Languages. Log. Methods Comput. Sci. 18(3) (2022) - [c8]Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger:
A biset-enriched categorical model for Proto-Quipper with dynamic lifting. QPL 2022: 302-342 - [i12]Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger:
Proto-Quipper with dynamic lifting. CoRR abs/2204.13041 (2022) - [i11]Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger:
On the Lambek embedding and the category of product-preserving presheaves. CoRR abs/2205.06068 (2022) - 2020
- [c7]Peng Fu, Kohei Kishida, Peter Selinger:
Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract. LICS 2020: 440-453 - [c6]Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger:
A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. RC 2020: 153-168 - [i10]Peng Fu, Kohei Kishida, Peter Selinger:
Linear Dependent Type Theory for Quantum Programming Languages. CoRR abs/2004.13472 (2020) - [i9]Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger:
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. CoRR abs/2005.08396 (2020)
2010 – 2019
- 2018
- [i8]Peng Fu, Peter Selinger:
Dependently Typed Folds for Nested Data Types. CoRR abs/1806.05230 (2018) - 2017
- [j2]Peng Fu, Ekaterina Komendantskaya:
Operational semantics of resolution and productivity in Horn clause logic. Formal Aspects Comput. 29(3): 453-474 (2017) - [i7]Peng Fu:
Representing Nonterminating Rewriting with F2μ. CoRR abs/1706.00746 (2017) - [i6]Peng Fu:
A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types. CoRR abs/1711.04718 (2017) - 2016
- [j1]Aaron Stump, Peng Fu:
Efficiency of lambda-encodings in total type theory. J. Funct. Program. 26: e3 (2016) - [c5]Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond:
Proof Relevant Corecursive Resolution. FLOPS 2016: 126-143 - [i5]Peng Fu, Ekaterina Komendantskaya:
Operational Semantics of Resolution in Horn Clause Logic. CoRR abs/1604.04114 (2016) - [i4]Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu:
Coinductive Soundness of Corecursive Type Class Resolution. CoRR abs/1608.05233 (2016) - 2015
- [c4]Peng Fu, Ekaterina Komendantskaya:
A Type-Theoretic Approach to Resolution. LOPSTR 2015: 91-106 - [i3]Peng Fu, Ekaterina Komendantskaya:
A Type-Theoretic Approach to Structural Resolution. CoRR abs/1506.06166 (2015) - [i2]Peng Fu, Ekaterina Komendantskaya:
A Type-Theoretic Approach to Resolution. CoRR abs/1510.04661 (2015) - [i1]Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond:
Proof Relevant Corecursive Resolution. CoRR abs/1511.09394 (2015) - 2014
- [c3]Peng Fu, Aaron Stump:
Self Types for Dependently Typed Lambda Encodings. RTA-TLCA 2014: 224-239 - 2012
- [c2]Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn:
Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26 - [c1]Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich:
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems. MSFP 2012: 112-162
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
