Sciweavers

3394 search results - page 6 / 679

» Regular Object Types

129

NOLISP
2009
Springer

152views Signal Processing» more NOLISP 2009»

Automatic Classification of Regular vs. Irregular Phonation Types

15 years 11 months ago

Automatic Classification of Regular vs. Irregular Phonation Types

Download alpha.tmit.bme.hu

Tamás Bohm, Zoltán Both, Géza...

claim paper

Read More »

121

IFL
2007
Springer

110views Formal Methods» more IFL 2007»

XHaskell - Adding Regular Expression Types to Haskell

15 years 11 months ago

XHaskell - Adding Regular Expression Types to Haskell

Download www.itu.dk

Martin Sulzmann, Kenny Zhuo Ming Lu

claim paper

Read More »

95

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

15 years 10 months ago

An Implementation of Subtyping Among Regular Expression Types

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper

Read More »

124

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

15 years 9 months ago

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

Download eprints.ecs.soton.ac.uk

Michael Leuschel, Stefan Gruner

claim paper

Read More »

101

ICFP
2000
ACM

78views Programming Languages» more ICFP 2000»

Regular expression types for XML

15 years 9 months ago

Regular expression types for XML

Download www.cis.upenn.edu

Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce

claim paper

Read More »

« Prev « First page 6 / 679 Last » Next »