Sciweavers

3394 search results - page 6 / 679

» Regular Object Types

80

NOLISP
2009
Springer

152views Signal Processing» more NOLISP 2009»

Automatic Classification of Regular vs. Irregular Phonation Types

15 years 4 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 »

70

IFL
2007
Springer

110views Formal Methods» more IFL 2007»

XHaskell - Adding Regular Expression Types to Haskell

15 years 4 months ago

XHaskell - Adding Regular Expression Types to Haskell

Download www.itu.dk

Martin Sulzmann, Kenny Zhuo Ming Lu

claim paper

Read More »

54

APLAS
2004
ACM

108views Programming Languages» more APLAS 2004»

An Implementation of Subtyping Among Regular Expression Types

15 years 3 months ago

An Implementation of Subtyping Among Regular Expression Types

Download www.itu.dk

Kenny Zhuo Ming Lu, Martin Sulzmann

claim paper

Read More »

75

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

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

15 years 2 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 »

57

Voted

ICFP
2000
ACM

78views Programming Languages» more ICFP 2000»

Regular expression types for XML

15 years 2 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 »