BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Luke Ong
SearchCollections
Map detail
Luke Ong9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLuke OngALuke OngResearcherGuaranteed Bounds for Posterior Inference in Universal Probabilistic ProgrammingWGuaranteed Bounds for P...preprint / 2022A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic DifferentiationWA Differential-form Pul...preprint / 2020Information Flow Analysis for a Dynamically Typed Functional Language with Staged MetaprogrammingWInformation Flow Analys...preprint / 2013EGuaranteeNash for Boolean Games is NEXP-HardWEGuaranteeNash for Bool...preprint / 2013A Type System for proving Depth Boundedness in the pi-calculusWA Type System for provi...preprint / 2015Expectation Programming: Adapting Probabilistic Programming Systems to Estimate Expectations EfficientlyWExpectation Programming...preprint / 2022Weak and Nested Class Memory AutomataWWeak and Nested Class M...preprint / 2014Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting ApproachWDetecting Redundant CSS...preprint / 2015
Person8 links

Luke Ong

Researcher

PaperGuaranteed Bounds for Posterior Inference in Universal Probabilistic ProgrammingAuthorship / preprint / 2022PaperA Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic DifferentiationAuthorship / preprint / 2020PaperInformation Flow Analysis for a Dynamically Typed Functional Language with Staged MetaprogrammingAuthorship / preprint / 2013PaperEGuaranteeNash for Boolean Games is NEXP-HardAuthorship / preprint / 2013PaperA Type System for proving Depth Boundedness in the pi-calculusAuthorship / preprint / 2015PaperExpectation Programming: Adapting Probabilistic Programming Systems to Estimate Expectations EfficientlyAuthorship / preprint / 2022PaperWeak and Nested Class Memory AutomataAuthorship / preprint / 2014PaperDetecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting ApproachAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)