Discover open access scientific publications

Search, annotate, share and cite publications

Publications by GEOFFREY WASHBURN

Boxes Go Bananas: Encoding Higher-Order Abstract Syntax With Parametric Polymorphism

Journal of Functional Programming
Software
2007English

Related publications

Primitive Recursion for Higher-Order Abstract Syntax

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Ferroelectrics Go Bananas

Journal of Physics Condensed Matter
Materials ScienceCondensed Matter Physics
2007English

Let’s Go Bananas! Green Bananas and Their Health Benefits

Prilozi (Makedonska akademija na naukite i umetnostite. Oddelenie za medicinski nauki)
Medicine
2017English

Robust XML Encoding Rules (RXER) for Abstract Syntax Notation One (ASN.1)

2007English

One Tool, Many Languages: Language-Parametric Transformation With Incremental Parametric Syntax

Proceedings of the ACM on Programming Languages
2018English

A Fully Abstract Denotational Model for Higher-Order Processes

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1994English

Higher-Order Commutators of Parametric Marcinkiewicz Integrals on Herz Spaces With Variable Exponent

Journal of Function Spaces
Analysis
2018English

Nested Abstract Syntax in Coq

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Weisfeiler and Leman Go Neural: Higher-Order Graph Neural Networks

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy