Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,436,430 papers from all fields of science
Search
Sign In
Create Free Account
Haskell platform
Known as:
Happy (Software)
, Happy (disambiguation)
, Alex (disambiguation)
Expand
The Haskell Platform is a collection of software packages, tools and libraries that create a common platform for using and developing applications in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
Cabal
Debian
Debugger
FreeBSD
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Aivika 3 : Creating a Simulation Library based on Functional Programming
D. E. Sorokin
2015
Corpus ID: 44782195
This paper describes a unified formalism that can be applied for modeling and simulating a wide range of dynamic systems which…
Expand
2014
2014
Declaring the Data Model
A. S. Mena
2014
Corpus ID: 53851792
You already know how to get a working installation of the Haskell Platform and of the EclipseFP development environment. The next…
Expand
2013
2013
Generating Relation Algebras for Qualitative Spatial Reasoning
Prathap Siddavaatam
2013
Corpus ID: 55505723
Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a…
Expand
2012
2012
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom
Yoichi Hirai
Fuji International Symposium on Functional and…
2012
Corpus ID: 16564771
We propose a typed lambda calculus based on Avron's hypersequent calculus for Godel---Dummett logic. This calculus turns out to…
Expand
2011
2011
Functional Programming and Discrete Simulation
P. Jankovič
,
O. Such
2011
Corpus ID: 9800610
Abstrakt In this note we critically examine the current state of teaching of Discrete Simulation at our university. We consider…
Expand
2010
2010
Automatic Testing of Web Services in Haskell Platform
Yingzhou Zhang
,
Wei Fu
,
Junyan Qian
2010
Corpus ID: 64473524
As a concrete alternative to the development of distributed and connected applications, the Web Service (WS) technique is…
Expand
Review
2008
Review
2008
Haskell: batteries included
Duncan Coutts
,
Isaac Potoczny-Jones
,
Don Stewart
ACM SIGPLAN Symposium/Workshop on Haskell
2008
Corpus ID: 24390137
The quality of a programming language itself is only one component in the ability of application writers to get the job done…
Expand
2008
2008
A Rule-Based Specification of Software Transactional Memory
Martin Sulzmann
,
D. Chu
2008
Corpus ID: 14971207
Software Transactional Memory (STM) has the promise to avoid the common pitfalls of locks when writing thread-based concurrent…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE