#lang racket (require scriblib/autobib scribble/core scribble/decode scribble/base) (provide (all-defined-out)) (define-cite cite citet gen-bib) (define short? #f) (define-syntax define/short (syntax-rules () [(_ i e e*) (define i (if short? e e*))] [(_ i e) (define i e)])) (define IEEE "IEEE ") (define ACM "ACM ") (define International "Intl. ") (define Conference "Conf. ") (define Workshop "Wksp. ") (define Journal "J. ") (define Symposium "Sym. ") (define Transactions "Trans. ") (define/short ecoop "ECOOP" (string-append "European " Conference "Object-Oriented Programming")) (define/short popl "POPL" (string-append ACM Symposium "Principles of Programming Languages")) (define ffkscfff-lwc16 (make-bib #:title "Languages the Racket Way" #:author (authors "Daniel Feltey" (author-name "Spencer P." "Florence") "Tim Knutson" "Vincent St-Amour" "Ryan Culpepper" "Matthew Flatt" (author-name "Robert Bruce" "Findler") "Matthias Felleisen") #:location (proceedings-location "Language Workbench Challenge") #:date "2016")) (define flops2016 (make-bib #:title "A Coq Library For Internal Verification of Running-Times" #:author (authors "Jay McCarthy" "Burke Fetscher" "Max New" "Daniel Feltey" "Robert Bruce Findler") #:location (proceedings-location "International Symposium on Functional and Logic Programming (FLOPS)") #:date "2016")) (define tfgnvf-popl-2016 (make-bib #:title "Is Sound Gradual Typing Dead?" #:author (authors "Asumu Takikawa" "Daniel Feltey" "Ben Greenman" "Max New" "Jan Vitek" "Matthias Felleisen") #:location (proceedings-location popl #:pages '(456 468)) #:date 2016)) (define tfdffthf-ecoop-2015 (make-bib #:author (authors "Asumu Takikawa" "Daniel Feltey" "Earl Dean" "Robert Bruce Findler" "Matthew Flatt" "Sam Tobin-Hochstadt" "Matthias Felleisen") #:title "Towards Practical Gradual Typing" #:location (proceedings-location ecoop) #:date 2015))