Jeff Smits

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 6

Top Topics

Internal And External

Hybrid Approaches

Top Venues

J. Comput. Lang.

Art Sci. Eng. Program.

Publications

Jeff Smits, Toine Hartman, Jesper Cockx
Optimising First-Class Pattern Matching. SLE (2022)
Jeff Smits, Gabriël D. P. Konat, Eelco Visser
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. Art Sci. Eng. Program. 4 (3) (2020)
Jeff Smits, Guido Wachsmuth, Eelco Visser
FlowSpec: A declarative specification language for intra-procedural flow-Sensitive data-flow analysis. J. Comput. Lang. 57 (2020)
Jeff Smits, Gabriël D. P. Konat, Eelco Visser
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. CoRR (2020)
Jeff Smits, Eelco Visser
Gradually typing strategies. SLE (2020)
Jeff Smits, Eelco Visser
FlowSpec: declarative dataflow analysis specification. SLE (2017)
Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen, Joris van den Oever, Jeff Smits, Koen V. Hindriks
HactarV2: An Agent Team Strategy Based on Implicit Coordination. ProMAS (2011)