researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Journal of Functional Programming
Home
Index
Info
Issue
Volume
21
, Issue
3
219
--
234
Ralf Hinze
.
Typed quote/antiquote or: Compile-time parsing
235
--
286
Andrew M. Pitts
.
Structural recursion with locally scoped names
287
--
307
Yoichi Hirai
,
Kazuhiko Yamamoto
.
Balancing weight-balanced trees
309
--
329
Barney Stratford
.
A combinator library for the design of railway track layouts