Found 25 Documents (Results 1–25)
Compiling a 50-year journey. (English) Zbl 1476.68058
MSC:
68N20
Fair enumeration combinators. (English) Zbl 1476.68065
Algebraic data integration. (English) Zbl 1475.68069
Computation semantics of the functional scientific workflow language Cuneiform. (English) Zbl 1476.68038
The calculus of dependent lambda eliminations. (English) Zbl 1418.68038
MSC:
68N18
A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading. (English) Zbl 1418.68185
MSC:
68T15
The essence of ornaments. (English) Zbl 1418.68032
Programming with ornaments. (English) Zbl 1418.68035
MSC:
68N18
Flexible dynamic information flow control in the presence of exceptions. (English) Zbl 1418.68043
MSC:
68N19
Quick specifications for the busy programmer. (English) Zbl 1418.68037
MSC:
68N18
Filter Results by …
all
top 5
Author
- Abel, Andreas M. (1)
- Adelsberger, Stephan (1)
- Algehed, Maximilian (1)
- Ariola, Zena M. (1)
- Bahr, Patrick (1)
- Bendkowski, Maciej (1)
- Benton, Nick (1)
- Botta, Nicola (1)
- Brandt, Jorgen (1)
- Breitner, Joachim (1)
- Claessen, Koen (1)
- Costa Seco, João (1)
- Dagand, Pierre-Evariste (1)
- Downen, Paul (1)
- Dybjer, Peter (1)
- Fegaras, Leonidas (1)
- Fetscher, Burke (1)
- Findler, Robert Bruce (1)
- Gibbons, Jeremy (1)
- Harper, Robert (1)
- Hou (Favonia), Kuen-Bang (1)
- Hutton, Graham (1)
- Ionescu, Cezar (1)
- Jansson, Patrik (1)
- Jaskelioff, Mauro (1)
- Johansson, Moa (1)
- Johnson-Freyd, Philip (1)
- Kammar, Ohad (1)
- Ko, Hsiang-Shang (1)
- Leser, Ulf (1)
- Lourenço, Hugo (1)
- Mazières, David (1)
- McCarthy, Jay A. (1)
- Mitchell, John C. (1)
- New, Max S. (1)
- Nguyen, Phúc C. (1)
- Padovani, Luca (1)
- Peyton Jones, Simon L. (1)
- Piróg, Maciej (1)
- Pretnar, Matija (1)
- Reisig, Wolfgang (1)
- Rivas, Exequiel (1)
- Russo, Alejandro (1)
- Schultz, Patrick (1)
- Sergey, Ilya (1)
- Setzer, Anton (1)
- Smallbone, Nicholas (1)
- Sozeau, Matthieu (1)
- Staton, Sam (1)
- Stefan, Deian (1)
- Stump, Aaron (1)
- Swierstra, Wouter (1)
- Tobin-Hochstadt, Sam (1)
- Uustalu, Tarmo (1)
- VanHorn, David A. (1)
- Veltri, Niccolò (1)
- Vytiniotis, Dimitrios (1)
- Wisnesky, Ryan (1)
- Ziliani, Beta (1)
all
top 3
Software
- Agda (6)
- Haskell (5)
- Coq (4)
- Idris (4)
- Irdis (3)
- Eff (2)
- Hadoop (2)
- Hive (2)
- Kleisli (2)
- Links (2)
- ML (2)
- MapReduce (2)
- Nuprl (2)
- QuickCheck (2)
- Twelf (2)
- Aglet (1)
- AoPA (1)
- CDuce (1)
- CVC4 (1)
- Cayenne (1)
- Cuneiform (1)
- Daikon (1)
- Delphin (1)
- ELPI (1)
- Eden (1)
- Eiffel (1)
- Erlang (1)
- F* (1)
- Featherweight Java (1)
- Giraph (1)
- GitHub (1)
- GraphLab (1)
- HipSpec (1)
- Hipster (1)
- Hop (1)
- IsaCoSy (1)
- Isabelle/HOL (1)
- Koka (1)
- LCF (1)
- Laminar (1)
- MiniAgda (1)
- MiniML (1)
- Miranda (1)
- Mtac (1)
- NESL (1)
- OCaml (1)
- PLT Redex (1)
- PRMLT (1)
- Pregel (1)
- QuickSpec (1)
- Spark (1)
- Taverna (1)
- Theorema (1)
- Ur/Web (1)
- nofib (1)
- wxHaskell (1)