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: Higher-Order and Symbolic Computation
Home
Index
Info
Issue
Volume
23
, Issue
2
145
--
166
Arie Middelkoop
,
Atze Dijkstra
,
S. Doaitse Swierstra
.
A lean specification for GADTs: system F with first-class equality proofs
167
--
189
David Herman
,
Aaron Tomb
,
Cormac Flanagan
.
Space-efficient gradual typing
191
--
226
Gudmund Grov
,
Greg Michaelson
.
Hume box calculus: robust system development through software transformation
227
--
271
Neil Sculthorpe
,
Henrik Nilsson
.
Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change