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.

Tom Schrijvers
SearchCollections
Map detail
Tom Schrijvers13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTom SchrijversATom SchrijversResearcherSearch CombinatorsWSearch Combinatorspreprint / 2012Improving PARMA TrailingWImproving PARMA Trailingpreprint / 2005PaSe: An Extensible and Inspectable DSL for Micro-AnimationsWPaSe: An Extensible and...preprint / 2020Tabling as a Library with Delimited ControlWTabling as a Library wi...preprint / 2015SWI-PrologWSWI-Prologpreprint / 2010Extended Report: The Implicit CalculusWExtended Report: The Im...preprint / 2012Integrating Datalog and Constraint SolvingWIntegrating Datalog and...preprint / 2013Reasoning about modular datatypes with Mendler inductionWReasoning about modular...preprint / 2015Efficient Algebraic Effect Handlers for PrologWEfficient Algebraic Eff...preprint / 2016Approximating Constraint Propagation in DatalogWApproximating Constrain...preprint / 2011Proof Relevant Corecursive ResolutionWProof Relevant Corecurs...preprint / 2015Fusing Industry and Academia at GitHub (Experience Report)WFusing Industry and Aca...preprint / 2022
Person12 links

Tom Schrijvers

Researcher

PaperSearch CombinatorsAuthorship / preprint / 2012PaperImproving PARMA TrailingAuthorship / preprint / 2005PaperPaSe: An Extensible and Inspectable DSL for Micro-AnimationsAuthorship / preprint / 2020PaperTabling as a Library with Delimited ControlAuthorship / preprint / 2015PaperSWI-PrologAuthorship / preprint / 2010PaperExtended Report: The Implicit CalculusAuthorship / preprint / 2012PaperIntegrating Datalog and Constraint SolvingAuthorship / preprint / 2013PaperReasoning about modular datatypes with Mendler inductionAuthorship / 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)