856 search results - page 50 / 172 » Dependent Types in Practical Programming |
369
Voted
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
COLING
1996
15 years 3 months ago
1996
This paper presents a practical method for a global structure analyzing Mgorithm of Japanese long sentences with lexical information, a method which we call Lexical Discourse Gram...
122
click to vote
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...
126
Voted
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
162
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...