Search Sciweavers | Sciweavers

6201 search results - page 17 / 1241

» Implementation of Axiomatic Language

click to vote

IANDC
2011

119views more IANDC 2011»

Quantitative Kleene coalgebras

13 years 3 months ago

Download homepages.cwi.nl

We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...

Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...

claim paper

Read More »

click to vote

ICFP
2005
ACM

105views Programming Languages» more ICFP 2005»

A unified category-theoretic formulation of typed binding signatures

14 years 8 months ago

Download homepages.inf.ed.ac.uk

We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...

Miki Tanaka, John Power

claim paper

Read More »

click to vote

Book

351views

The Implementation of Functional Programming Languages

15 years 6 months ago

Download research.microsoft.com

A great book about the Implementation of Functional Programming Languages.

Simon Peyton Jones

posted by scimaster

Read More »

click to vote

ESWS
2008
Springer

185views Internet Technology» more ESWS 2008»

An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning

13 years 10 months ago

Download www.eswc2008.org

Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...

Matthias Bräuer, Henrik Lochmann

claim paper

Read More »

click to vote

ERLANG
2004
ACM

215views Programming Languages» more ERLANG 2004»

An implementation of the SMB protocol in erlang

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers