Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Gu Pei

Compilation of Glacier Maps for Some Mountains (Abstract)

Annals of Glaciology

Earth-Surface Processes

English

Related publications

Fully Abstract Compilation to JavaScript

ACM SIGPLAN Notices

Computer Science

English

Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code

Proceedings of the ACM on Programming Languages

English

Flow of Blue Glacier, Olympic Mountains, Washington, U.S.A.

Journal of Glaciology

Earth-Surface Processes

English

Evidence for Headwall Weathering Zones, Boundary Glacier, Canadian Rocky Mountains

Journal of Glaciology

Earth-Surface Processes

English

Glaciological Investigations on Union Glacier, Ellsworth Mountains, West Antarctica

Annals of Glaciology

Earth-Surface Processes

English

Incremental Global Compilation of Prolog With the Vienna Abstract Machine

English

Glacier Disequilibrium in the Convoy Range, Transantarctic Mountains, Antarctica

Annals of Glaciology

Earth-Surface Processes

English

Holocene Glacier Fluctuations in the Torngat Mountains, Northern Labrador

English

On the Abstract Properties of Markov Graphs for Maps on Trees

Математички билтен/BULLETIN MATHÉMATIQUE DE LA SOCIÉTÉ DES MATHÉMATICIENS DE LA RÉPUBLIQUE MACÉDOINE

English