1185 search results - page 50 / 237 » Implementing Functional Languages: a tutorial |
COLING
1996
15 years 19 days ago
1996
This paper proposes a segmentation standard for Chinese natural language processing. The standard is proposed to achieve linguistic felicity, computational feasibility, and data u...
ENTCS
2002
14 years 11 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
ICCS
2004
Springer
15 years 4 months ago
2004
Springer
We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of ...
ACMSE
2006
ACM
15 years 3 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
VL
1995
IEEE
15 years 2 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...