Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming
Gespeichert in:
| Veröffentlicht in: | WFLP (28. : 2020 : Online) Functional and constraint logic programming |
|---|---|
| 1. Verfasser: | |
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
2021
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Memoized Pull-Tabbing for Functional Logic Programming | 2021 | Hanus, Michael |
| SOS Rules for Equivalences of Reaction Systems | 2021 | Brodo, Linda |
| Formally Verified Transformation of Non-binary Constraints into Binary Constraints | 2021 | Dubois, Catherine |
| A Framework for Generating Diverse Haskell-I/O Exercise Tasks | 2021 | Westphal, Oliver |
| Effectiveness of Annotation-Based Static Type Inference | 2021 | Wingen, Isabel |
| Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming | 2021 | Widemann, Baltasar Trancón y |
| On the Performance of Bytecode Interpreters in Prolog | 2021 | Körner, Philipp |
| Constraint-Logic Object-Oriented Programming with Free Arrays | 2021 | Winkelmann, Hendrik |