Sciweavers

713 search results - page 9 / 143

» Syntax and Semantics of Babel-17

155

CORR
2004
Springer

104views Education» more CORR 2004»

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

15 years 7 months ago

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

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

110

Voted

VLC
1998

56views more VLC 1998»

Abstract Syntax and Semantics of Visual Languages

15 years 7 months ago

Abstract Syntax and Semantics of Visual Languages

Download web.engr.oregonstate.edu

Martin Erwig

claim paper

Read More »

166

LRE
2010

94views more LRE 2010»

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

15 years 5 months ago

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

Download groups.inf.ed.ac.uk

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

claim paper

Read More »

216

ICFP
2006
ACM

131views Programming Languages» more ICFP 2006»

Static analysis for syntax objects

16 years 7 months ago

Static analysis for syntax objects

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 »

233

Voted

TPHOL
2005
IEEE

145views Automated Reasoning» more TPHOL 2005»

Alpha-Structural Recursion and Induction

16 years 1 months ago

Alpha-Structural Recursion and Induction

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 »