Sciweavers

ICFP
2006
ACM

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection

14 years 6 months ago
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylo
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where ICFP
Authors Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
Comments (0)