Search Sciweavers | Sciweavers

5451 search results - page 56 / 1091

» Typed Operational Semantics

138

click to vote

WAIM
2007
Springer

132views Information Technology» more WAIM 2007»

Towards a Type-2 Fuzzy Description Logic for Semantic Search Engine

16 years 2 days ago

Download cs.hust.edu.cn

Ruixuan Li, Xiaolin Sun, Zhengding Lu, Kunmei Wen,...

claim paper

Read More »

122

click to vote

ESOP
2004
Springer

115views Programming Languages» more ESOP 2004»

Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types

15 years 11 months ago

Download www.macs.hw.ac.uk

Tom Hirschowitz, Xavier Leroy, J. B. Wells

claim paper

Read More »

133

click to vote

PPDP
1999
Springer

107views Programming Languages» more PPDP 1999»

A Semantic Account of Type-Directed Partial Evaluation

15 years 10 months ago

Download www.brics.dk

Andrzej Filinski

claim paper

Read More »

127

click to vote

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

15 years 9 months ago

Download fpl.cs.depaul.edu

Alan Jeffrey

claim paper

Read More »

102

click to vote

DAGSTUHL
2008

89views Software Engineering» more DAGSTUHL 2008»

08061 Abstracts Collection -- Types, Logics and Semantics for State

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers