已关闭
  • 文献求助详情
标题
A Haskell-embedded DSL for secure information-flow
一种用于安全信息流的Haskell嵌入式DSL
相关领域
计算机科学 哈斯克尔 数字用户线 程序设计语言 函数式程序设计 计算机网络
网址
DOI
10.1016/j.scico.2025.103351 doi
求助人
欣赏春天 在 2025-07-03 09:51:55 发布自黑龙江,悬赏 10 积分
下载
 
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
求助 / 应助时间线
  • 6个月前,求助关闭

    科研通管家 科研通管家 机器人 关闭了本次求助。

    说明 求助超时(查看超时原因)自动关闭,请核实信息是否正确,如果确实需要,您可重新发布求助。【积分已退回】
  • 6个月前

    欣赏春天 欣赏春天 Lv11 求助人 发起了本次求助

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
XUXU发布了新的文献求助10
刚刚
缥缈的寒烟完成签到,获得积分10
刚刚
刚刚
CXH完成签到,获得积分10
1秒前
Ratziel发布了新的文献求助10
1秒前
可爱凤梨完成签到,获得积分10
1秒前
1秒前
背后书芹完成签到,获得积分10
1秒前
xxxx完成签到,获得积分10
2秒前
2秒前
量子星尘发布了新的文献求助10
2秒前
rixinsu发布了新的文献求助10
2秒前
谦让靖儿发布了新的文献求助10
2秒前
黎野完成签到,获得积分10
2秒前
打打应助淡淡奇异果采纳,获得10
3秒前
子车茗应助男研选手采纳,获得30
3秒前
杜梦婷发布了新的文献求助20
3秒前
spc68应助ymm216688采纳,获得70
3秒前
3秒前
4秒前
111发布了新的文献求助10
5秒前
吉吉完成签到,获得积分10
6秒前
7秒前
VitoLi完成签到,获得积分10
7秒前
葛潇发布了新的文献求助10
7秒前
晁子枫完成签到,获得积分10
8秒前
安详的曲奇完成签到,获得积分10
8秒前
8秒前
英姑应助SYX采纳,获得10
8秒前
hello_dundun发布了新的文献求助10
8秒前
9秒前
科研通AI2S应助jiayou采纳,获得10
9秒前
Lionel发布了新的文献求助10
9秒前
XUXU完成签到,获得积分10
9秒前
9秒前
ddz完成签到,获得积分10
10秒前
10秒前
12秒前
12秒前
浊酒发布了新的文献求助10
12秒前
高分求助中
2025-2031全球及中国金刚石触媒粉行业研究及十五五规划分析报告 15000
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
The Cambridge History of China: Volume 4, Sui and T'ang China, 589–906 AD, Part Two 1000
The Composition and Relative Chronology of Dynasties 16 and 17 in Egypt 1000
Russian Foreign Policy: Change and Continuity 800
Real World Research, 5th Edition 800
Qualitative Data Analysis with NVivo By Jenine Beekhuyzen, Pat Bazeley · 2024 800
热门求助领域 (近24小时)
化学 材料科学 生物 医学 工程类 计算机科学 有机化学 物理 生物化学 纳米技术 复合材料 内科学 化学工程 人工智能 催化作用 遗传学 数学 基因 量子力学 物理化学
热门帖子
关注 科研通微信公众号,转发送积分 5700932
求助须知:如何正确求助?哪些是违规求助? 5141378
关于积分的说明 15232242
捐赠科研通 4856069
什么是DOI,文献DOI怎么找? 2605609
邀请新用户注册赠送积分活动 1556949
关于科研通互助平台的介绍 1515058