The safe lambda calculus W Blum, CHL Ong Logical Methods in Computer Science 5, 2009 | 42 | 2009 |
A concrete presentation of game semantics W Blum, CHL Ong Galop, 2008 | 8 | 2008 |
A tool for constructing structures generated by higher-order recursion schemes and collapsible pushdown automata W Blum Technical report, 2007 | 4 | 2007 |
Local computation of beta-reduction W Blum, CHL Ong Work In progress, 2008 | 3 | 2008 |
Type homogeneity is not a restriction for safe recursion schemes W Blum arXiv preprint arXiv:1701.02118, 2017 | 2 | 2017 |
Method and arrangement for controlling interconnection between cable modem devices and multiple cable modem termination systems L Bifano, W Blum, J Ollis US Patent App. 10/132,241, 2003 | 2 | 2003 |
Evaluating lambda terms with traversals W Blum Theoretical Computer Science 802, 77-104, 2020 | 1 | 2020 |
Game Semantics of the Safe Lambda-Calculus W Blum OXFORD UNIVERSITY COMPUTING LABORATORY PROGRAMMING RESEARCH GROUP STUDENT …, 2006 | 1 | 2006 |
Termination Analysis of [lambda]-calculus and a Subset of Core ML W Blum University of Oxford, 2004 | 1 | 2004 |
NL2KQL: From Natural Language to Kusto Query AH Abdi, X Tang, J Eichelbaum, M Das, A Klein, NI Pakis, W Blum, ... arXiv preprint arXiv:2404.02933, 2024 | | 2024 |
GENERATING SECURITY LANGUAGE QUERIES DL Mace, W Blum, J Eichelbaum, A Rubin, EV Garcia Lazo, NI Pakis, ... US Patent App. 17/900,394, 2024 | | 2024 |
Reducing Lambda Terms with Traversals W Blum arXiv preprint arXiv:1802.10583, 2018 | | 2018 |
Thesis fascicle: Local computation of β-reduction W Blum | | 2008 |
Termination Analysis of a subset of CoreML W Blum, B Nottingham | | |