Tag #f#
8 papers:
CC-2018-NeykovaHYA #api #distributed #generative #protocol- A session type provider: compile-time API generation of distributed protocols with refinements in F# (RN, RH, NY, FA), pp. 128–138.
PLDI-2016-PetricekGS - Types from data: making structured data first-class citizens in F# (TP0, GG, DS), pp. 477–490.
CEFP-2015-GraniczD #functional #programming #web- Functional, Reactive Web Programming in F# (AG, LD), pp. 137–160.
PADL-2014-PetricekS - The F# Computation Expression Zoo (TP, DS), pp. 33–48.
- CEFP-2013-Granicz #development #functional #mobile #web
- Functional Web and Mobile Development in F# (AG), pp. 381–406.
- PADL-2011-SymePL #programming
- The F# Asynchronous Programming Model (DS, TP, DL), pp. 175–189.
IFL-2010-BjornsonTG #user interface #using- Composing Reactive GUIs in F# Using WebSharper (JB, AT, AG), pp. 203–216.
- CEFP-2009-Granicz #agile #domain-specific language #prototype
- Rapid Prototyping of DSLs with F# (AG), pp. 1–18.
