Search Sciweavers | Sciweavers

713 search results - page 9 / 143

» Syntax and Semantics of Babel-17

click to vote

CORR
2004
Springer

104views Education» more CORR 2004»

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

13 years 8 months ago

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

click to vote

VLC
1998

56views more VLC 1998»

Abstract Syntax and Semantics of Visual Languages

13 years 8 months ago

Download web.engr.oregonstate.edu

Martin Erwig

claim paper

Read More »

click to vote

LRE
2010

94views more LRE 2010»

The NXT-format Switchboard Corpus: a rich resource for investigating the syntax, semantics, pragmatics and prosody of dialogue

13 years 6 months ago

Download groups.inf.ed.ac.uk

Sasha Calhoun, Jean Carletta, Jason Brenier, Neil ...

claim paper

Read More »

click to vote

ICFP
2006
ACM

131views Programming Languages» more ICFP 2006»

Static analysis for syntax objects

14 years 8 months ago

Download www.ccs.neu.edu

We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...

David Fisher, Olin Shivers

claim paper

Read More »

click to vote

TPHOL
2005
IEEE

145views Automated Reasoning» more TPHOL 2005»

Alpha-Structural Recursion and Induction

14 years 2 months ago

Download www.cl.cam.ac.uk

The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...

Andrew M. Pitts

claim paper

Read More »

« Prev « First page 9 / 143 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers