TOPLAS Journal of Functional Programming are both excellent choices. There are also other qualified venues such as HOSC.
Shriram -- Pardon terseness and mistakes -- sent from phone.
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
