Search Sciweavers | Sciweavers

61 search results - page 1 / 13

» Focusing and higher-order abstract syntax

click to vote

ITP
2010

152views Mathematics» more ITP 2010»

Higher-Order Abstract Syntax in Isabelle/HOL

14 years 11 months ago

Download www.cs.utexas.edu

rder Abstract Syntax in Isabelle/HOL Douglas J. Howe Carleton University July 13, 2010 Douglas J. Howe (Carleton University) HOAS in Isabelle/HOL July 13, 2010 1 / 8

Douglas J. Howe

claim paper

Read More »

102

click to vote

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

16 years 21 days ago

Download users.dimi.uniud.it

Alberto Ciaffaglione, Luigi Liquori, Marino Micula...

claim paper

Read More »

Voted

LICS
1997
IEEE

101views Automated Reasoning» more LICS 1997»

A Logic for Reasoning with Higher-Order Abstract Syntax

15 years 5 months ago

Download www.lix.polytechnique.fr

Raymond McDowell, Dale Miller

claim paper

Read More »

Voted

TLCA
1997
Springer

94views Theoretical Computer Science» more TLCA 1997»

Primitive Recursion for Higher-Order Abstract Syntax

15 years 4 months ago

Download www.cs.cmu.edu

Joëlle Despeyroux, Frank Pfenning, Carsten Sc...

claim paper

Read More »

click to vote

ITP
2010

119views Mathematics» more ITP 2010»

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers