917 search results - page 116 / 184 » On the Semantics of Updates in a Functional Language |
165
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
108
click to vote
JMLR
2008
14 years 9 months ago
2008
Log-linear and maximum-margin models are two commonly-used methods in supervised machine learning, and are frequently used in structured prediction problems. Efficient learning of...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
111
click to vote
FLOPS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
We report on an ongoing project which aims at improving the eectiveness of retrieval and accessibility of learning object within learning management systems and learning object re...