halfaya.org

HTML metadata

Title

Halfaya Research

Language

en-US

Open Graph

url

https://www.halfaya.org/

title

Halfaya Research

description

If you are looking for my UCLA PhD thesis, it is here: Fourier Coefficients of Triangle Functions. Site Updates (2025/12/19): Work on the ICFP 2020 Micro-Opera resumes. (2025/10/19): Passages from La Maison vide by Laurent Mauvignier added. (2025/09/25): Coinduction added to

Technology

Server

ESF

Analytics

• Google Tag Manager

Fonts

• Google Fonts

Third-party hosts loaded (6)

• fonts.googleapis.com×3
• www.gstatic.com×2
• apis.google.com×1
• lh3.googleusercontent.com×1
• ssl.gstatic.com×1
• www.googletagmanager.com×1

Social

• github

Registration

Registrar

Tucows Domains Inc.

Created

1996-01-04

Expires

2031-01-03 1690 days left

Updated

2025-12-10

Name servers

• ns1.verio.com
• ns2.verio.com

Links to (9)

• google.com×4
• sigplan.org×3
• jointmathematicsmeetings.org×2
• chineseartsandmusic.org×2
• github.com×2
• goodreads.com×2
• mountaineers.org×2
• clubnorthwest.org×2
• ams.org×2

Linked from (2)

• uwplse.org×3
• proofengineering.org×2