List splicing via with-syntax

foo.scm

(import (rnrs))

(define-syntax foo
  (lambda (x)
    (syntax-case x ()
      ((k)
       (with-syntax (((x ...) (datum->syntax #'k '(a b c))))
         #'(begin (display '(x ...)) (newline)))))))

(foo)