咨询与建议

限定检索结果

文献类型

  • 75 篇 会议
  • 3 册 图书
  • 3 篇 期刊文献

馆藏范围

  • 81 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 54 篇 工学
    • 50 篇 计算机科学与技术...
    • 35 篇 软件工程
    • 5 篇 电气工程
    • 4 篇 信息与通信工程
    • 2 篇 仪器科学与技术
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 电子科学与技术(可...
    • 1 篇 控制科学与工程
  • 7 篇 理学
    • 6 篇 数学
    • 1 篇 大气科学
  • 3 篇 管理学
    • 2 篇 图书情报与档案管...
    • 1 篇 管理科学与工程(可...
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 16 篇 functional progr...
  • 7 篇 logic programmin...
  • 6 篇 computer program...
  • 4 篇 application soft...
  • 4 篇 software enginee...
  • 4 篇 grid computing
  • 3 篇 object oriented ...
  • 3 篇 concurrent compu...
  • 3 篇 programming
  • 3 篇 fault tolerance
  • 3 篇 parallel program...
  • 3 篇 semantics
  • 3 篇 programming tech...
  • 3 篇 programming lang...
  • 3 篇 haskell
  • 3 篇 web services
  • 2 篇 computer science
  • 2 篇 software systems
  • 2 篇 systems engineer...
  • 2 篇 supercomputers

机构

  • 2 篇 department of co...
  • 2 篇 university of ok...
  • 1 篇 university of co...
  • 1 篇 univ of waikato ...
  • 1 篇 school of comput...
  • 1 篇 cisco systems in...
  • 1 篇 univ toronto dep...
  • 1 篇 univ montreal mo...
  • 1 篇 faculty of infor...
  • 1 篇 waseda univ sch ...
  • 1 篇 portland state u...
  • 1 篇 univ verona dipa...
  • 1 篇 engineering econ...
  • 1 篇 department of el...
  • 1 篇 brigham young un...
  • 1 篇 univ missouri de...
  • 1 篇 nadvirna vocatio...
  • 1 篇 univ politecn ma...
  • 1 篇 department of ma...
  • 1 篇 univ complutense...

作者

  • 2 篇 page rex
  • 2 篇 horváth zoltán
  • 2 篇 zsók viktória
  • 2 篇 antoy sergio
  • 2 篇 saenz-perez fern...
  • 2 篇 hanus michael
  • 2 篇 dimitri p. berts...
  • 1 篇 mishra prateek
  • 1 篇 gerard allwein
  • 1 篇 pace gordon
  • 1 篇 borza paul nicol...
  • 1 篇 wassermann demia...
  • 1 篇 kaiser markus
  • 1 篇 petrashchuk yaro...
  • 1 篇 playne daniel
  • 1 篇 david lesens
  • 1 篇 takayuki shiina
  • 1 篇 zou xingliang
  • 1 篇 r. nieuwenhuis
  • 1 篇 johnson martin

语言

  • 81 篇 英文
检索条件"任意字段=11th Symposium on Trends in Functional Programming"
81 条 记 录,以下是1-10 订阅
排序:
11th International symposium on trends in functional programming, TFP 2010
11th International Symposium on Trends in Functional Program...
收藏 引用
11th International symposium on trends in functional programming, TFP 2010
the proceedings contain 13 papers. the special focus in this conference is on trends in functional programming. the topics include: functional video games in the CS1 classroom;computErl – Erlang-based framework for m...
来源: 评论
trends in functional programming - 11th International symposium, TFP 2010, Revised Selected Papers
Trends in Functional Programming - 11th International Sympos...
收藏 引用
11th International symposium on trends in functional programming, TFP 2010
the proceedings contain 13 papers. the topics discussed include: evaluating call-by-need on the control stack;typing coroutines;an expression processor: a case study in refactoring Haskell programs;static balance chec...
来源: 评论
functional and Logic programming - 11th International symposium, FLOPS 2012, Proceedings
Functional and Logic Programming - 11th International Sympos...
收藏 引用
11th International symposium onfunctional and Logic programming, FLOPS 2012
the proceedings contain 22 papers. the topics discussed include: programming with Boolean satisfaction;automated verification of higher-order functional programs;dependently-typed programming in GHC;call-by-value solv...
来源: 评论
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN symposium on Principles and Practice of Declarative programming
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN ...
收藏 引用
11th International ACM SIGPLAN symposium on Principles and Practice of Declarative programming, PPDP'09
the proceedings contain 28 papers. the topics discussed include: session types for linear multithreaded functional programming;automatic refactoring of Erlang programs;model-checking higher-order functions;a dynamical...
来源: 评论
Proceedings - 10th and 11th International Workshop on trends in functional programming in Education, TFPIE 2021 and 2022
Proceedings - 10th and 11th International Workshop on Trends...
收藏 引用
10th and 11th International Workshop on trends in functional programming in Education, TFPIE 2021 and 2022
the proceedings contain 8 papers. the topics discussed include: design of classes;reimplementing the wheel: teaching compilers with a small self-contained one;teaching programming to novices using the codeBoot online ...
来源: 评论
Set Functions for functional Logic programming
Set Functions for Functional Logic Programming
收藏 引用
11th International ACM SIGPLAN symposium on Principles and Practice of Declarative programming (PPDP 09)
作者: Antoy, Sergio Hanus, Michael Portland State Univ Dept Comp Sci Portland OR 97207 USA
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the results of a corresponding ordinary operati... 详细信息
来源: 评论
An Isabelle/HOL-based Model of Stratego-like Traversal Strategies
An Isabelle/HOL-based Model of Stratego-like Traversal Strat...
收藏 引用
11th International ACM SIGPLAN symposium on Principles and Practice of Declarative programming (PPDP 09)
作者: Kaiser, Markus Laemmel, Ralf Univ Koblenz Landau Software Languages Team Koblenz Germany
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional programming such as Strafunski or "S... 详细信息
来源: 评论
Monad Factory: Type-Indexed Monads
Monad Factory: Type-Indexed Monads
收藏 引用
11th symposium on trends in functional programming
作者: Snyder, Mark Alexander, Perry Univ Kansas Informat & Telecommun Technol Ctr Lawrence KS 66045 USA
Monads provide a greatly useful capability to pure languages in simulating side-effects, but implementations such as the Monad Transformer Library [1] in Haskell prohibit reuse of those side-effects such as threading ... 详细信息
来源: 评论
Restructuring Erlang programs using function related refactorings  11
Restructuring Erlang programs using function related refacto...
收藏 引用
11th symposium on programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering, SPLST 2009 and NW-MODE 2009
作者: Bozó, István th, Melinda Department of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary
this paper focuses on introducing function related refactorings in RefactorErl, a refactoring tool for Erlang, namely the Extract Function Definition, the Generalize Function and the Inline Function. the purpose of th... 详细信息
来源: 评论
Session Types for Linear Multithreaded functional programming  09
Session Types for Linear Multithreaded Functional Programmin...
收藏 引用
11th International ACM SIGPLAN symposium on Principles and Practice of Declarative programming (PPDP 09)
作者: Vasconcelos, Vasco T. Univ Lisbon Dept Informat Fac Sci P-1699 Lisbon Portugal
the construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on precise interface specifications that allow... 详细信息
来源: 评论